[Top][All Lists]
[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