Re: [Info-gnuprologjava] Problem on firing a query

[Daniel Thomas]

The stacktrace you get if you use prepareGoal and then execute rather than just 
runOnce is:

gnu.prolog.vm.PrologException: error(existence_error(procedure,not / 1),error)
        at gnu.prolog.vm.PrologException.getError(PrologException.java:129)
        at gnu.prolog.vm.PrologException.getError(PrologException.java:118)
        at 
gnu.prolog.vm.PrologException.existenceError(PrologException.java:155)
        at 
gnu.prolog.vm.UndefinedPredicateCode.execute(UndefinedPredicateCode.java:62)
        at 
gnu.prolog.vm.interpreter.InterpretedByteCode.execute(InterpretedByteCode.java:522)
        at 
gnu.prolog.vm.interpreter.InterpretedByteCode.execute(InterpretedByteCode.java:522)
        at 
gnu.prolog.vm.interpreter.InterpretedByteCode.execute(InterpretedByteCode.java:522)
        at 
gnu.prolog.vm.interpreter.Predicate_call.staticExecute(Predicate_call.java:144)
        at gnu.prolog.vm.Interpreter.execute(Interpreter.java:507)
        at Fresh_06.main(Fresh_06.java:74)

This indicates that the predicate not/1 is not defined which is a
problem you came across before. You can trivially implement not/1 in
terms of \+/1 and ensureLoaded this before loading the latest-rule
prolog file and then everything should just work (I get success when I
run your code having done that).
not(X):- \+(X).

I hope that helps,

Daniel

On Fri, 2012-06-01 at 15:25 +0530, Suman Roy wrote:
> system(system1).
> accountingSupplier(accountingSupplier1).
> accountingCustomer(accountingCustomer1).
> sendFreightInvoice(sendFreightInvoice1).
> receiveFreightInvoice(receiveFreightInvoice1).
> dofulfillmentProcess(dofulfillmentProcess1).
> dopaymentProcess(dopaymentProcess1).
> dofreightBillingProcess(dofreightBillingProcess1).
> document(freightInvoice1).
> 
> raiseDoc(accountingSupplier1,freightInvoice1).
> relDocAgent(freightInvoice1,accountingSupplier1).
> relDocAgent(freightInvoice1,accountingCustomer1).
> 
> process(fulfillmentProcess1).
> process(freightBillingProcess1).
> process(paymentProcess1).
> 
> 
> 
> qualified(system1,dofulfillmentProcess1).
> qualified(accountingSupplier1,dofreightBillingProcess1).
> qualified(accountingCustomer1,dofreightBillingProcess1).
> qualified(system1,dopaymentProcess1).
> qualified(system1,dofreightBillingProcess1).
> qualified(accountingSupplier1,sendFreightInvoice1).
> qualified(accountingCustomer1,receiveFreightInvoice1).
> 
> agent(X):-system(X).
> agent(X):-accountingSupplier(X).
> agent(X):-accountingCustomer(X).
> 
> activity(X):-sendFreightInvoice(X).
> activity(X):-receiveFreightInvoice(X).
> activity(X):-dofulfillmentProcess(X).
> activity(X):-dopaymentProcess(X).
> activity(X):-dofreightBillingProcess(X).
> 
> 
> holds_at(P,T,H):-initiates(E,P),happens3(E,T1,H),T1<T,
>         not( terminated_between(P,T1,T,H) ).
> 
> terminated_between(P,T1,T2,H):-terminates(E,P),happens3(E,T,H),T1=<T,T=<T2.
> 
> happens3(start(A),T,H):-member(happens(start(A),T),H).
> happens3(end(A),T2,H):-happens3(start(A),T1,H),dur(A,Y),T2 is T1+Y.
> 
> step(happens(start(A),T),H):-sequential(A0,A),happens3(end(A0),T,H),
>         not( happens3(start(A),T,H) ). 
> 
> history([happens(start(dofulfillmentProcess1),-1)]).
> history([Happens|H]):-history(H),step(Happens,H).
> 
> limited_history( [happens(start(dofulfillmentProcess1),-1)], N ) :-
> 0<N.
> limited_history( [Happens|H], N ) :- 1<N, N1 is N-1,
>         limited_history( H, N1 ),
>         step(Happens,H).
> 
> 
> initiates(end(dofulfillmentProcess1),initiationfreightBillingProcess).
> 
> 
> initiates(start(dopaymentProcess1),closurefreightBillingProcess).
> 
> dur(dofulfillmentProcess1,0).
> dur(dopaymentProcess1,2).
> dur( sendFreightInvoice1, 1 ).
> dur( receiveFreightInvoice1, 1 ).
> 
> sequential(dofulfillmentProcess1,sendFreightInvoice1).
> sequential(sendFreightInvoice1,receiveFreightInvoice1).
> sequential(receiveFreightInvoice1,dopaymentProcess1).
> 
> terminates( a, a ).

signature.asc
Description: This is a digitally signed message part