Prolog: differenze tra le versioni

Versione delle 22:43, 22 nov 2019

Versione delle 18:46, 19 lug 2021

Riga 50:

Una '''regola''' ha la forma:

<syntaxhighlight lang="prolog">

* ''Testa :- Corpo.''

</syntaxhighlight>

che si legge: "Testa è vera se Corpo è vero"." (Si noti che la regola termina con un punto.)

Un singolo termine (anche composto), senza il segno "<code>:-"</code>, viene chiamato '''fatto'''. I fatti equivalgono a regole senza corpo, che sono considerate automaticamente vere. Un esempio di fatto è:

<syntaxhighlight lang="prolog">

* ''gatto(tommaso).''

</syntaxhighlight>

Al di là dell'uso strettamente previsto dalla teoria, il Prolog offre anche dei predicati speciali che servono per input/output e altre attività accessorie. P.es. <code>write/1</code> visualizza un termine sullo schermo.

== Programma di esempio ==