Internal Error: Invocation Target Exception in funcall of function

lee martie <[email protected]> Wed, 10 Nov 2010 07:42:27 -0500
Newsgroups gmane.comp.ai.powerloom
Message-ID <[email protected]>
Powerloom 4.0.0 beta is giving me an internal error.

Can you tell me if the following error is due to a
Powerloom bug or if I am doing something incorrectly?

When running the following commands:

(deffunction lookup ((?x thing)) :-> (?y function))
(deffunction numVar ((?x thing)) :-> (?y number))
(assert (= (lookup x) numVar))
(assert (=(numVar x)20))
(ask  (forall (?y) (= ((lookup x)x) 20) ) )

I get the following error:

 >> Internal Error: Invocation Target Exception in funcall of function:
     public static edu.isi.powerloom.logic.TruthValue 
edu.isi.powerloom.logic.Logic.askEvaluatorWrapper(edu.isi.stella.Cons) 
(((FORALL (?Y) (= (sk05//NUMVAR @X |L|20) |L|20))))
     java.lang.ArrayIndexOutOfBoundsException: -2147483648
     -2147483648
java.lang.ArrayIndexOutOfBoundsException: -2147483648
     at 
edu.isi.powerloom.logic.PatternVariable.helpBindVariableToValueP(PatternVariable.java:433)
     at 
edu.isi.powerloom.logic.PatternVariable.bindVariableToValueP(PatternVariable.java:401)
     at 
edu.isi.powerloom.logic.ControlFrame.tryUniversalIntroductionProof(ControlFrame.java:1008)
     at 
edu.isi.powerloom.logic.ControlFrame.executeProofStrategy(ControlFrame.java:2502)
     at 
edu.isi.powerloom.logic.ControlFrame.continueCurrentOrNextStrategy(ControlFrame.java:2658)
     at 
edu.isi.powerloom.logic.ControlFrame.continueStrategiesProofs(ControlFrame.java:2776)
     at 
edu.isi.powerloom.logic.ControlFrame.evaluateNextMove(ControlFrame.java:4710)
     at 
edu.isi.powerloom.logic.QueryIterator.executeBackwardChainingProofP(QueryIterator.java:1934)
     at edu.isi.powerloom.logic.QueryIterator.nextP(QueryIterator.java:1402)
     at edu.isi.powerloom.logic.Logic.callAsk(Logic.java:16600)
     at edu.isi.powerloom.logic.Logic.ask(Logic.java:16660)
     at edu.isi.powerloom.logic.Logic.askEvaluatorWrapper(Logic.java:16669)
     at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
     at 
sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39)
     at 
sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
     at java.lang.reflect.Method.invoke(Method.java:597)
     at edu.isi.stella.javalib.Native.funcall(Native.java:566)
     at edu.isi.stella.Cons.evaluateConsTree(Cons.java:8560)
     at edu.isi.stella.Stella_Object.evaluate(Stella_Object.java:4968)
     at edu.isi.powerloom.logic.Logic.evaluateLogicCommand(Logic.java:31897)
     at edu.isi.powerloom.logic.Logic.logicCommandLoop(Logic.java:31793)
     at edu.isi.powerloom.logic.Logic.powerloom(Logic.java:37844)
     at edu.isi.powerloom.PowerLoom.main(PowerLoom.java:159)
edu.isi.stella.StellaException: Invocation Target Exception in funcall 
of function:
     public static edu.isi.powerloom.logic.TruthValue 
edu.isi.powerloom.logic.Logic.askEvaluatorWrapper(edu.isi.stella.Cons) 
(((FORALL (?Y) (= (sk05//NUMVAR @X |L|20) |L|20))))
     java.lang.ArrayIndexOutOfBoundsException: -2147483648
     -2147483648
java.lang.ArrayIndexOutOfBoundsException: -2147483648
     at 
edu.isi.powerloom.logic.PatternVariable.helpBindVariableToValueP(PatternVariable.java:433)
     at 
edu.isi.powerloom.logic.PatternVariable.bindVariableToValueP(PatternVariable.java:401)
     at 
edu.isi.powerloom.logic.ControlFrame.tryUniversalIntroductionProof(ControlFrame.java:1008)
     at 
edu.isi.powerloom.logic.ControlFrame.executeProofStrategy(ControlFrame.java:2502)
     at 
edu.isi.powerloom.logic.ControlFrame.continueCurrentOrNextStrategy(ControlFrame.java:2658)
     at 
edu.isi.powerloom.logic.ControlFrame.continueStrategiesProofs(ControlFrame.java:2776)
     at 
edu.isi.powerloom.logic.ControlFrame.evaluateNextMove(ControlFrame.java:4710)
     at 
edu.isi.powerloom.logic.QueryIterator.executeBackwardChainingProofP(QueryIterator.java:1934)
     at edu.isi.powerloom.logic.QueryIterator.nextP(QueryIterator.java:1402)
     at edu.isi.powerloom.logic.Logic.callAsk(Logic.java:16600)
     at edu.isi.powerloom.logic.Logic.ask(Logic.java:16660)
     at edu.isi.powerloom.logic.Logic.askEvaluatorWrapper(Logic.java:16669)
     at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
     at 
sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39)
     at 
sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
     at java.lang.reflect.Method.invoke(Method.java:597)
     at edu.isi.stella.javalib.Native.funcall(Native.java:566)
     at edu.isi.stella.Cons.evaluateConsTree(Cons.java:8560)
     at edu.isi.stella.Stella_Object.evaluate(Stella_Object.java:4968)
     at edu.isi.powerloom.logic.Logic.evaluateLogicCommand(Logic.java:31897)
     at edu.isi.powerloom.logic.Logic.logicCommandLoop(Logic.java:31793)
     at edu.isi.powerloom.logic.Logic.powerloom(Logic.java:37844)
     at edu.isi.powerloom.PowerLoom.main(PowerLoom.java:159)

     at edu.isi.stella.javalib.Native.funcall(Native.java:610)
     at edu.isi.stella.Cons.evaluateConsTree(Cons.java:8560)
     at edu.isi.stella.Stella_Object.evaluate(Stella_Object.java:4968)
     at edu.isi.powerloom.logic.Logic.evaluateLogicCommand(Logic.java:31897)
     at edu.isi.powerloom.logic.Logic.logicCommandLoop(Logic.java:31793)
     at edu.isi.powerloom.logic.Logic.powerloom(Logic.java:37844)
     at edu.isi.powerloom.PowerLoom.main(PowerLoom.java:159)





As always, thanks for your help and time.
Lee Martie