Versione delle 18:56, 22 nov 2019 modifica FedericoSerafini (discussione \| contributi) 3 modifiche Testa è vera se Corpo è vero -> se Corpo è vero, anche Testa è vera Etichetta: Modifica visuale ← Differenza precedente		Versione delle 22:43, 22 nov 2019 modifica annulla FedericoSerafini (discussione \| contributi) 3 modifiche Annullata la modifica 109035123 di FedericoSerafini (discussione) Etichetta: Annulla Differenza successiva →
Riga 52: * ''Testa :- Corpo.'' che si legge: "~~se Corpo~~Testa è ~~vero,~~vera ~~anche~~se ~~Testa~~Corpo è ~~vera~~vero". (Si noti che la regola termina con un punto.) Un singolo termine (anche composto), senza il segno ":-", viene chiamato '''fatto'''. I fatti equivalgono a regole senza corpo, che sono considerate automaticamente vere. Un esempio di fatto è:

Prolog: differenze tra le versioni