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

esci listaprolog.htm

domains
persona = symbol
predicates
padre_di (persona,persona)
femmina (persona)
clauses
padre_di (mario,marco).
padre_di (mario,carlo).
padre_di (giulio,maria).
padre_di (roberto,elena).
padre_di (roberto,sandro).
femmina (maria).
femmina (elena).