Graham Cooper wrote: > > Exactly the same way we use not(). > > Failure to return a result can be programmed for ANY PREDICATE > > *WITH A FINITE DOMAIN* > > [...] > > You can PROGRAM the predicate NOT(...) > > for any predicate with a FINITE SET OF ARGUMENT VALUES!
Is this "negation as failure"?
-- When a true genius appears in the world, you may know him by this sign, that the dunces are all in confederacy against him. Jonathan Swift: Thoughts on Various Subjects, Moral and Diverting