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

esci listaprolog.htm

domains
nome = symbol
predicates
padre_di (nome,nome)
fratelli (nome,nome)
clauses
padre_di (mario,luigi).
padre_di (mario,"Carlo").
padre_di (mario,"Anna Lisa").
padre_di (mario,"anna lisa").
padre_di (alessandro,alice).
padre_di (alessandro,luigi).
fratelli (X,Y) if
padre_di (P,X) and
padre_di (P,Y) and
X<>Y.