Prolog/Primi passi: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
BimBot (discussione | contributi)
m Robot: Automated text replacement (-([^'])e'([^']) +\1è\2)
BimBot (discussione | contributi)
m Robot: Automated text replacement (-([^'])i'([^']) +\1ì\2)
Riga 10:
? -
 
con un [[w:cursore|cursore]] dietro. C'e di solito un menu per caricare files nell'interprete. Se non c'e' questo menu puoi scrivere cosi'così:
 
consult('FILEPATH').
Riga 22:
['c:/my documents/prolog/prolog1.pl'].
 
L'interprete dovrebbe comunicarti che il file è stato caricato correttamente. Se non fosse cosi'così consulta il file di aiuto o i documenti o il manuale a tua disposizione. Dopo alcune informazioni vedrai comparire:
 
?-
Riga 148:
B = david
 
Se premi il punto e virgola cercherà una nuova istanza per il secondo predicato. Se fallisce trova una nuova istanza per il primo e cosi'così fino alla fine del database.
 
Esiste una variabile speciale chiamata anonima , per la quale viene usata il carattere sottolineatura (_). Quando usi questo carattere in una domanda, significa che non ti importa di come è istanziata la variabile, ie non ti importa a quale termine sia collegata, anche se è collegata a qualcosa. Se chiedi a prolog
Riga 168:
umano(_).
 
Nel tuo archivio si avrà che ogni termine ,esista o meno, sarà umano. Cosi'Così la domanda
<pre><nowiki>
?- umano(abc)
Riga 216:
car(corvette).
 
Noi possiamo comunque usare le variabili nelle regole. Cosi'Così peresempio possiamo stabilire che un oggetto è una macchina ogniqualvolta abbia ruote e finestrini:
 
car(A) :- haruote(A), hafinestrini(A).