Pages: [1]   Go Down
Print
Author Topic: unify per termini Prolog  (Read 486 times)
0 Members e 1 Utente non registrato stanno visualizzando questa discussione.
Franco Barbanera
Moderator
Forumista Eroico
*****
Offline Offline

Posts: 3.080



WWW
« on: 11-06-2013, 15:59:16 »

Nella pagina degli esercizi (Esercizi programmazione haskell n.31)
c'e' ora il programma che definisce il tipo di dato termine Prolog
ed estende l'unificazione a termini Prolog.

Il problema di avere atomi che iniziano sempre con minuscole
non e' completamente risolto, ma si fa in modo che, anche se utilizziamo
una stringa che inizia con una maiuscola per rappresentare un atomo,
quando utilizziamo la funzione show questa mostra la stringa con il primo carattere
comunque in minuscolo.

Pace e Bene
FB
Logged
Pages: [1]   Go Up
Print
Jump to: