info-gnuprologjava
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Info-gnuprologjava] Problem in constructing a prolog query with " g


From: SUZUKI Hisao
Subject: Re: [Info-gnuprologjava] Problem in constructing a prolog query with " gnuprologjava-0.2.5 " api
Date: Thu, 5 Apr 2012 14:22:03 +0900

Hello,

I guess you mean a compound term by "a function in a
predicate".  For example, given

  foo(bar(1), 2).
  foo(bar(2), 3).
  foo(3, 4).

you will get the following for the query foo(bar(A), B).

  A = 1
  B = 2 ;

  A = 2
  B = 3 ;

Here "bar" is just a functor of compound term.

You can build your "end(dofulfillmentProcess1)" as a
CompoundTerm instance and treat it as a Term instance.

Hope this helps.

suzuki




reply via email to

[Prev in Thread] Current Thread [Next in Thread]