Prolog: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Recupero di 1 fonte/i e segnalazione di 0 link interrotto/i.) #IABot (v2.0 |
Testa è vera se Corpo è vero -> se Corpo è vero, anche Testa è vera |
||
Riga 52:
* ''Testa :- Corpo.''
che si legge: "
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 è:
| |||