listati da Prolog2
listati da copiare e incollare su notes e salvare come file.PRO
richiamabili in ambiente Prolog
esci listaprolog.htm
/* dana1.pro */
/* programma che richiama database ana1.pro */
/* elementi del DOMINIO e PREDICATI */
/* definiti nel database e non ripetibili */
/* nel programma principale */
nowarnings
include "ana1.pro"
domains
predicates
uno(nome)
dati(nome,nome)
figlio(nome)
clauses
/* cerca se esiste padre di nome indicato */
uno(N) if
padre(N,F) and
N=mario.
/* stampa archivio completo */
dati(N,F) if
padre(N,F).
/* cerca se esiste figlio di nome indicato */
figlio(F) if
padre(N,F) and
F=sergio.
figlio(F) if
padre(N,F) and
F=carlo.
/ *ana1.pro */
domains
nome = symbol
predicates
padre(nome,nome)
clauses
padre(mario,carlo).
padre(aldo,anna).
padre(luigi,carlo).
padre(alberto,sergio).