Qual è la differenza tra _ e _variable in prolog?

Question

Ho riscontrato un sacco di problemi con un valore letterale che inizia con un _ come _Peter. Così che cosa esattamente sarebbe la differenza tra:

good(_,_).

e

good(_,_Peter).

Grazie per aver risposto alla mia domanda!

Answer 1

_ è una variabile anonima. Le occorrenze multiple nella stessa clausola (o lo stesso termine letto) rappresentano variabili diverse.

Una variabile che inizia con _ ma che contiene ulteriori caratteri non è una variabile anonima. Diverse occorrenze rappresentano la stessa variabile.

Per convenzione, molti sistemi Prolog richiedono che le variabili che si verificano una sola volta debbano iniziare con _. Ma questa è una convenzione che porta nella maggior parte delle implementazioni solo agli avvertimenti.