listati da Prolog2
listati da copiare e incollare su notes e salvare come file.PRO
richiamabili in ambiente Prolog

esci listaprolog.htm

/* libri.pro */

domains
nome = symbol
anno = integer
predicates
/* nome autore,titolo opera,anno pubblicazione */
autore(nome,nome,anno)
/* titolo opera,nome autore */
materia(nome,nome)
clauses
autore(pascoli,poemetti,1835).
autore(pascoli,poesie,1836).
autore(rossi,fisica,1945).
autore(verdi,fisica,1977).
autore(verdi,chimica,1945).
autore(rossi,scienze,1945).

materia(fisica,rossi).
materia(fisica,verdi).
materia(chimica,verdi).
materia(scienze,rossi).

/* GOAL autore(A,B,C) */
/* GOAL autore(nome,B,C) */
/* GOAL autore(A,titolo,C) */
/* GOAL materia(A,B) */
/* GOAL materia(titolo,A) */
/* GOAL materia(A,nome) */