Qual è la differenza tra "false" e "no" in Prolog

Question

Ho iniziato a imparare Prolog seguendo il libro Programming in Prolog: Using the ISO Standard. A pagina 7 del intro alla lingua hanno fatto l'affermazione: "In Prolog la risposta non viene usato per indicare nulla unifica con la domanda E 'importante ricordare che non non è lo stesso di falsa. ". Quindi, perché SWI-Prolog utilizza la dichiarazione false e true anziché yes o no?

Answer 1

Per cominciare, lo standard ISO (ISO/IEC 13211-1: 1995) non definisce un ciclo di primo livello. In 1 Campo di applicazione si legge:

NOTA — Questa parte della norma ISO/IEC 13211 non specifica:

...

f) l'ambiente utente (anello livello superiore, debugger, biblioteca
sistema, editor, compilatore ecc.) di un processore Prolog.

Tradizionalmente, la risposta di una query è stata risolta con sì o no. In caso di sì, sono state mostrate le sostituzioni delle risposte, se presenti.

Oggi, con sempre più limitazioni presenti nelle risposte, il tradizionale ciclo di toplevel diventa un po 'macchinoso da utilizzare. Qual è la risposta corretta a ?- dif(X,a).? Non può essere un , potrebbe essere un forse, che è stato utilizzato prima da Jaffar et al.s CLP(R). Ma molto spesso si vuole riutilizzare la risposta.

L'idea in SWI è di produrre testo come risposta in modo da poterlo incollare per ottenere lo stesso risultato. In questo modo la sintassi delle risposte è specificata in una certa misura - deve essere un testo Prolog valido.

Quindi, se non c'è più sì, perché non dovrebbe esserci? Per questo motivo SWI fornisce false. come risposta. Prima della SWI, Prolog IV rispondeva allo false. Nota ad esempio il seguente punto di arresto in SWI:

?- true; false. 
true ; 
false. 

Quindi anche questo piccolo dettaglio viene mantenuto nelle risposte. Mentre in Prolog IV questo è collassato in true perché Prolog IV mostra tutte le risposte in un colpo solo.

?- true ; false. 

true. 

Per ulteriori informazioni sulle risposte, see this.