Mam taka aplikacje, która dowodzi twierdzenia z wykorzystanie zasady rezolucji. I jak go odpalam wprowadzam formuly one ida do parsera, który sprawdza poprawność składni i potem jest wykonywana rezolucja. Jesli wyczyszcze okna i chce jeszcze raz parsować formuły wysakkuje mi cos takiego:

ERROR: d:/studia/praca magisterska/resocalc/dist/prolog/parser.pl
Full stop in clause-body? Cannot redefine ,/2
ERROR: d:/studia/praca magisterska/resocalc/dist/prolog/parser.pl
Full stop in clause-body? Cannot redefine ,/2
ERROR: d:/studia/praca magisterska/resocalc/dist/prolog/parser.pl
Full stop in clause-body? Cannot redefine ,/2
ERROR: d:/studia/praca magisterska/resocalc/dist/prolog/parser.pl
Full stop in clause-body? Cannot redefine ,/2
ERROR: d:/studia/praca magisterska/resocalc/dist/prolog/parser.pl
Full stop in clause-body? Cannot redefine ,/2
ERROR: d:/studia/praca magisterska/resocalc/dist/prolog/parser.pl
Full stop in clause-body? Cannot redefine ,/2
ERROR: d:/studia/praca magisterska/resocalc/dist/prolog/parser.pl
Full stop in clause-body? Cannot redefine ,/2
ERROR: d:/studia/praca magisterska/resocalc/dist/prolog/parser.pl
Full stop in clause-body? Cannot redefine ,/2
ERROR: d:/studia/praca magisterska/resocalc/dist/prolog/parser.pl
'$record_clause'/2: No permission to modify static_procedure (;)/2' ERROR: d:/studia/praca magisterska/resocalc/dist/prolog/parser.pl:54: Full stop in clause-body? Cannot redefine ,/2 ERROR: d:/studia/praca magisterska/resocalc/dist/prolog/parser.pl:55: '$record_clause'/2: No permission to modify static_procedure (;)/2'
ERROR: d:/studia/praca magisterska/resocalc/dist/prolog/parser.pl
Full stop in clause-body? Cannot redefine ,/2
ERROR: d:/studia/praca magisterska/resocalc/dist/prolog/parser.pl
Full stop in clause-body? Cannot redefine ,/2
ERROR: d:/studia/praca magisterska/resocalc/dist/prolog/parser.pl
Full stop in clause-body? Cannot redefine ,/2
ERROR: d:/studia/praca magisterska/resocalc/dist/prolog/parser.pl
Full stop in clause-body? Cannot redefine ,/2
% dist/prolog/parser.pl compiled 0.00 sec, -3,424 bytes
consult('dist/prolog/parser.pl')ok
Sprawdz poprawność składni.
Formula do parsowania:
Exception in thread "AWT-EventQueue-0" jpl.PrologException: PrologException: error(existence_error(procedure, /(wyrazenie, 2)), context(/(wyr_log, 2), _9))
at jpl.Query.get1(Query.java:336)
at jpl.Query.hasMoreSolutions(Query.java:258)
at jpl.Query.oneSolution(Query.java:688)
at jpl.Query.hasSolution(Query.java:759)
at ResoCalc.Intf.jButton52MouseClicked(Intf.java:1602)
at ResoCalc.Intf.access$3600(Intf.java:47)
at ResoCalc.Intf$37.mouseClicked(Intf.java:792)
at java.awt.AWTEventMulticaster.mouseClicked(AWTEventMulticaster.java:253)
at java.awt.Component.processMouseEvent(Component.java:6266)
at javax.swing.JComponent.processMouseEvent(JComponent.java:3267)
at java.awt.Component.processEvent(Component.java:6028)
at java.awt.Container.processEvent(Container.java:2041)
at java.awt.Component.dispatchEventImpl(Component.java:4630)
at java.awt.Container.dispatchEventImpl(Container.java:2099)
at java.awt.Component.dispatchEvent(Component.java:4460)
at java.awt.LightweightDispatcher.retargetMouseEvent(Container.java:4574)
at java.awt.LightweightDispatcher.processMouseEvent(Container.java:4247)
at java.awt.LightweightDispatcher.dispatchEvent(Container.java:4168)
at java.awt.Container.dispatchEventImpl(Container.java:2085)
at java.awt.Window.dispatchEventImpl(Window.java:2475)
at java.awt.Component.dispatchEvent(Component.java:4460)
at java.awt.EventQueue.dispatchEvent(EventQueue.java:599)
at java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:269)
at java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:184)
at java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:174)
at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:169)
at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:161)
at java.awt.EventDispatchThread.run(EventDispatchThread.java:122)

A gdy nie wykonam wczesniej rezolucji to moge czyscic i parsowac formuly ile razy tylko chce i działa. Orientujecie sie może o co tu chodzi?
Będe wdzięczny za pomoc.