Ramblings

I might believe that { I think therefore I am } ; But could I ever believe that { I am no therefore I do not think } ? --------------- is(X) :- thinks(X). am :- is(i). ithink :- thinks(i). ithink. |?- am. yes -------------- doesnotthink(X) :- isnot(X). isnot(X) :- is(X), !, fail. isnot(_). idontthink :- doesnotthink(i). |?- idontthink. no |?- doesnotthink(myself). yes --------- Oh well.