esepro2

vedi anche altri esempi in predicati

richiesta per sapere se un individuo possiede un libro di materia indicata e di autore indicato

GOAL    possiede(luigi,libro(X),autore(rossi))....vedi se luigi possiede un libro con autore rossi
        possiede(carlo,L,Y) ...vedi se carlo possiede libri indicando materia e autore
        possiede(X,L,autore(rossi))..vedi quali individui possiedono libri con autore rossi
 

listato programma       

nowarnings

domains
nome = symbol
libro =libro(nome)
autore=autore(nome)

predicates
possiede(nome,libro,autore)
clauses
possiede(luigi,libro(chimica),autore(rossi)).
possiede(luigi,libro(fisica),autore(bassi)).
possiede(carlo,libro(fisica),autore(grasso)).
possiede(carlo,libro(geologia),autore(zanella)).
possiede(carlo,libro(scienze),autore(rossi)).