Prolog/Primi passi: differenze tra le versioni

Una volta installato il tuo prolog , scriviamo il primo programma e diamolo in pasto al nostro interprete (per vedere se tutto funziona). Accendi il text editor e cre un file di testo semplicissimo scrivendo solo queste parole:

La linea '''umano(john).''' nell'esempio precedente era una proposizione di prolog in forma di predicato, chiamata anche '''fatto'''. I Predicati consistono di una parola e di uno o più caratteri ,scritti in minuscolo, possibilmente seguiti da un numero di termini. Quelli sotto sono esempi di predicati validi:

p(a ,f ,d)

I termini (le parole nelle parentesi) possono prendere molte forme, ma per ora ci agganceremo alle costanti. Queste sono parole, ancora tutte in minuscolo. Il primo carattere, sia di un predicato sia di una costante , deve essere una lettera.

Dovreesti anche essere consapevole che i nomi scelti per i predicatied i termini non dicono assolutamente nulla all'interprete di prlog. Devono essere scelti per consentire di comprendere bene il programma , la[[w:leggibilità|leggibilità]]. Potremmo sostituire facilmente la parola ''umano'' con qualsiasi altra parola e l'interprete non ne vedrebbe la differenza.

Quello che stiamo facendo non è un vero e prorio linguaggio espressivo. Possiamo aumentare l'espresività di un linguaggio utilizzando le ''variabili'' nel nostro percorso di apprendimento. UNa variabile è una parola , proprio come termini e predicati , con l'eccezione che inizia con la lettera maiuscola ed ha dopo di sè lettere sia maiuscole che minuscole. Considera la seguente interrogazione:

Adesso stiamo chiedendo a prolog se c'e un umano A che ha un parente B. The comma significa ''and'', indicando che entrambi i predicati necessitano di essere veri affinchè sia vera la domanda. Per controllare questa domanda, prolog troverà un' istanza che rende la prima proposizione vera t, poi cercherà di rendere vero il secondo predicato (con l'istanza del primo). If it can make the second predicate true, trovaerà unaltro modo per rendere il secondo predicato vero (dopo premuto il punto e virgola) . Se non ci riesce , troverà una seconda possibilità di rendere il primo predicato vero, prendendo in .

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

Nel tuo archivio si avrà che ogni termine ,esista o meno, sarà umano. Così la domanda

sarebbe vera . In questo contesto la variabile anonima è usata per afferamare una proprietà di tutti gli oggetti anzichè di uno solo . Se vogliamo affermare che un gruppo specifico di oggetti ha una verta proprietà , abbiamo bisogno di '''regole'''.

Siamo molto lontani da una vera e propria programmazione ,abbiamo appena definitto degli oggetti e le loro proprietà. Il primo passo per programmare in prolog è l'uso delle '''regole'''. With rules we state that a predicate is true, provided that other predicates are true. A rule looks like this: