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).