このディレクトリの索引
http://hibari.2ch.net/test/read.cgi/tech/1272006124/180
#  <問題> 
#  not(P) :- P, !, fail. 
#  not(P). 
#   
#  のnot(P) を利用しプログラムnot_and(A1,A2) を書きなさい。但しnot_and(A1,A2) は 
#  A1,A2 ともに成立する場合だけ成立しない。以下にこのプログラムの実行結果を示す. 
# 
# 

not_and(A,B) :- not(A),not(B).
not_and(A,B) :- not(A),not(not(B)).
not_and(A,B) :- not(B),not(not(A)).
not_and(A,B) :- not(not(A)),not(not(B)),fail.