Prolog: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
→Sintassi: Regole e fatti da wikipedia inglese, saltando qualcosa |
|||
Riga 49:
Una '''regola''' ha la forma:
* ''Testa :- Corpo.''
che si legge: "Testa è vera se Corpo è vero". (Si noti che la regola termina con un punto.)
Riga 55:
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 è:
* ''gatto(tommaso).''
Aldilà dell'uso strettamente previsto dalla teoria, il Prolog offre anche dei predicati speciali che servono per input/output e altre attività accessorie. P.es. write/1 visualizza un termine sullo schermo.
| |||