programma ricerca prology

/* libri.pro */

 /* 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) */
   

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