Prolog: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Inserita Sintassi da wikipedia inglese - solo fino a Tipi di Dati, con qualche modifica/omissione. |
→Sintassi: Regole e fatti da wikipedia inglese, saltando qualcosa |
||
Riga 44:
* Una '''lista''' è una collezione ordinata di termini, separati da virgole; viene indicata per mezzo di parentesi quadre; è ammessa la lista vuota <code>[]</code>. Esempi: <code>[1,2,3]</code> e <code>[rosso,verde,blu]</code>.
* Una '''stringa''' è una sequenza di caratteri delimitata da doppi apici ("), p.es. <code>"essere o non essere"</code>.
=== Regole e fatti ===
Una '''regola''' ha la forma:
Testa :- Corpo.
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 ":-", 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.
== Programma di esempio ==
| |||