Prolog/Primi passi: differenze tra le versioni

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

Questo sembrerà noiosamente ovvio, ma è importante vederlo nel modo giusto. Se chiedi a prolog '''umano(john).''', significa che stai chiedendo a prolog se quest'affermazione è vera. Chiaramente il prolog non può valutare se l'affermazione è vera, semplicemente sta consultando il suo file. Semplicemente controlla che una della affermazioni contenute nella knowledgebaseknowledge base sia vera ed in tal caso risponde '''yes'''; '''no''' nel caso contrario.