Re: [Info-gnuprologjava] problem creating queries with NOT (negation as failure)

[SUZUKI Hisao]

On 26 Apr 2012, I wrote:

>  You can use \+ as a "not" predicate in ISO Prolog.

Thus simply you can write it as follows:

   Term[] t1 = { AtomTerm.get("cat") };
   Term ct1 = new CompoundTerm ("bird", t1);
   Term goalTerm = new CompoundTerm (CompoundTermTag.get("\\+", 1), ct1);
   int rc = interp.runOnce(goalTerm);

I hope you understand it now.

suzuki (at home)