true.
fail :- not(true).
repeat. repeat :- repeat.
not(_V1) :- V1, !, fail. not(_).
equal(_V1, _V1).
nequal(_V1, _V2) :- not(equal(_V1, _V2)).
[Next]組込み関数 [Previous]PoP本体 [Up]リファレンス [Top]