% From Progol 4.1 examples/book.pl  

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Positive examples

% Original:
% pos(book(1,[camoes,lusiadas,asa])).
% pos(book(2,[pessoa,mensagem,asa])).
% pos(book(3,[vergilioFerreira,contaCorrente,asa])).
% pos(book(4,[saramago,levantadoDoChao,caminho])).
% pos(book(5,[saramago,memorialDoConvento,caminho])).
% pos(book(6,[eca,osMaias,lello])).
% pos(book(7,[eca,aReliquia,lello])).

% neg(book(1,[camoes,lusiadas,caminho])).
% neg(book(1,[saramago,lusiadas,asa])).
% neg(book(2,[pessoa,lusiadas,asa])).
% neg(book(3,[vergilioFerreira,levantadoDoChao,asa])).
% neg(book(4,[saramago,contaCorrente,caminho])).


pos(book(1,camoes,lusiadas,asa)).
pos(book(2,pessoa,mensagem,asa)).
pos(book(3,vergilioFerreira,contaCorrente,asa)).
pos(book(4,saramago,levantadoDoChao,caminho)).
pos(book(5,saramago,memorialDoConvento,caminho)).
pos(book(6,eca,osMaias,lello)).
pos(book(7,eca,aReliquia,lello)).

neg(book(1,camoes,lusiadas,caminho)).
neg(book(1,saramago,lusiadas,asa)).
neg(book(2,pessoa,lusiadas,asa)).
neg(book(3,vergilioFerreira,levantadoDoChao,asa)).
neg(book(4,saramago,contaCorrente,caminho)).


% pos(book([camoes,lusiadas,asa])).
% pos(book([pessoa,mensagem,asa])).
% pos(book([vergilioFerreira,contaCorrente,asa])).
% pos(book([saramago,levantadoDoChao,caminho])).
% pos(book([saramago,memorialDoConvento,caminho])).
% pos(book([eca,osMaias,lello])).
% pos(book([eca,aReliquia,lello])).
% 
% neg(book([camoes,lusiadas,caminho])).
% neg(book([saramago,lusiadas,asa])).
% neg(book([pessoa,lusiadas,asa])).
% neg(book([vergilioFerreira,levantadoDoChao,asa])).
% neg(book([saramago,contaCorrente,caminho])).