├── .gitignore ├── LICENSE ├── README.md ├── README_interprolog_at_githubt.txt ├── externalJars ├── junit-4.5.jar └── junit-README.txt ├── interprolog.jar ├── otherInterPrologDoc ├── INSTALL.htm ├── PaperEPIA01.doc ├── PrologInstall │ └── xsb │ │ ├── For_build_windows │ │ └── custom_settings.mak │ │ ├── For_emu │ │ └── interprolog_callback.c │ │ └── README.txt ├── faq.htm └── prologAPI.htm ├── pom.xml └── src ├── main └── java │ └── com │ ├── declarativa │ └── interprolog │ │ ├── AbstractPrologEngine.java │ │ ├── EngineController.java │ │ ├── FloraSubprocessEngine.java │ │ ├── InitiallyFlatTermModel.java │ │ ├── InterprologConstants.java │ │ ├── JavaStateCaching.java │ │ ├── LPSEngine.java │ │ ├── ObjectExamplePair.java │ │ ├── OnTopSubprocessEngine.java │ │ ├── PrologEngine.java │ │ ├── PrologEngineListener.java │ │ ├── PrologImplementationPeer.java │ │ ├── PrologOperatorsContext.java │ │ ├── PrologOutputListener.java │ │ ├── SWIPeer.java │ │ ├── SWISubprocessEngine.java │ │ ├── SolutionIterator.java │ │ ├── SubprocessEngine.java │ │ ├── TermModel.java │ │ ├── TermModelListener.java │ │ ├── XSBPeer.java │ │ ├── XSBSubprocessEngine.java │ │ ├── examples │ │ ├── BackEnd.java │ │ ├── DataSourceExample.java │ │ ├── FileProcessor.java │ │ ├── HelloRemote.java │ │ ├── HelloRemote2.java │ │ ├── HelloWindow.java │ │ ├── HelloWindow2.java │ │ ├── HelloWorld.java │ │ ├── HelloWorldSWI.java │ │ ├── HelloWorldXSB.java │ │ ├── PerformanceTester.java │ │ ├── Sudoku.P │ │ ├── SudokuPuzzles │ │ │ ├── Problem10-SMichiyo.txt │ │ │ ├── Problem9-RyoKaneoka.txt │ │ │ ├── exemploSite.txt │ │ │ ├── problema1.txt │ │ │ ├── problema125.txt │ │ │ ├── problema23.txt │ │ │ ├── problema31.txt │ │ │ ├── problema7.txt │ │ │ ├── problemaTutorial.txt │ │ │ └── sep2005contest.txt │ │ └── SudokuWindow.java │ │ ├── gui │ │ ├── CommandHistory.java │ │ ├── EngineInspectionWindow.java │ │ ├── FloraSubprocessEngineWindow.java │ │ ├── ListenerWindow.java │ │ ├── PredicateTableModel.java │ │ ├── PredicateTableWindow.java │ │ ├── PrologEventBroker.java │ │ ├── RelationTreeModel.java │ │ ├── SWISubprocessEngineWindow.java │ │ ├── SmartScroller.java │ │ ├── StyledOutputPane.java │ │ ├── SubprocessEngineWindow.java │ │ ├── TermListModel.java │ │ ├── TermListWindow.java │ │ ├── TermModelWindow.java │ │ ├── TermTreeModel.java │ │ ├── TermTreePane.java │ │ ├── TermTreeWindow.java │ │ ├── XSBSubprocessEngineWindow.java │ │ ├── XSBTableModel.java │ │ ├── XSBTableWindow.java │ │ ├── images │ │ │ └── minilogo.gif │ │ └── visualization.P │ │ ├── interprolog.P │ │ ├── remote │ │ ├── PrologServer.java │ │ └── RemoteXSBSubprocessEngine.java │ │ ├── tests.P │ │ └── util │ │ ├── BasicTypeWrapper.java │ │ ├── CompactIterator.java │ │ ├── GoalFromJava.java │ │ ├── GoalToExecute.java │ │ ├── IPAbortedException.java │ │ ├── IPClassObject.java │ │ ├── IPClassVariable.java │ │ ├── IPException.java │ │ ├── IPInterruptedException.java │ │ ├── IPPrologError.java │ │ ├── InvisibleObject.java │ │ ├── JavaLangUtils.java │ │ ├── MessageExecuting.java │ │ ├── MessageFromProlog.java │ │ ├── MyStreamTokenizer.java │ │ ├── ObjectRegistry.java │ │ ├── OutOfBandTermResource.java │ │ ├── OutputHandler.java │ │ ├── OutputListener.java │ │ ├── PrologHaltedException.java │ │ ├── PrologOutputObjectStream.java │ │ ├── Recognizer.java │ │ ├── RecognizerListener.java │ │ ├── ResultFromJava.java │ │ ├── ResultFromProlog.java │ │ ├── SystemUtils.java │ │ ├── UnavailableResultException.java │ │ └── VariableNode.java │ └── xsb │ └── interprolog │ ├── AbstractNativeEngine.java │ ├── NativeEngine.java │ └── NativeEngineWindow.java └── test └── java └── com ├── declarativa └── interprolog │ ├── AllTests.java │ ├── PrologEngineTest.java │ ├── SWISubprocessEngineTest.java │ ├── SubprocessEngineTest.java │ └── XSBSubprocessEngineTest.java └── xsb └── interprolog ├── NativeEngineTest.java └── XSBNativeEngineTest.java /.gitignore: -------------------------------------------------------------------------------- 1 | target 2 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/README.md -------------------------------------------------------------------------------- /README_interprolog_at_githubt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/README_interprolog_at_githubt.txt -------------------------------------------------------------------------------- /externalJars/junit-4.5.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/externalJars/junit-4.5.jar -------------------------------------------------------------------------------- /externalJars/junit-README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/externalJars/junit-README.txt -------------------------------------------------------------------------------- /interprolog.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/interprolog.jar -------------------------------------------------------------------------------- /otherInterPrologDoc/INSTALL.htm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/otherInterPrologDoc/INSTALL.htm -------------------------------------------------------------------------------- /otherInterPrologDoc/PaperEPIA01.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/otherInterPrologDoc/PaperEPIA01.doc -------------------------------------------------------------------------------- /otherInterPrologDoc/PrologInstall/xsb/For_build_windows/custom_settings.mak: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/otherInterPrologDoc/PrologInstall/xsb/For_build_windows/custom_settings.mak -------------------------------------------------------------------------------- /otherInterPrologDoc/PrologInstall/xsb/For_emu/interprolog_callback.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/otherInterPrologDoc/PrologInstall/xsb/For_emu/interprolog_callback.c -------------------------------------------------------------------------------- /otherInterPrologDoc/PrologInstall/xsb/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/otherInterPrologDoc/PrologInstall/xsb/README.txt -------------------------------------------------------------------------------- /otherInterPrologDoc/faq.htm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/otherInterPrologDoc/faq.htm -------------------------------------------------------------------------------- /otherInterPrologDoc/prologAPI.htm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/otherInterPrologDoc/prologAPI.htm -------------------------------------------------------------------------------- /pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/pom.xml -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/AbstractPrologEngine.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/AbstractPrologEngine.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/EngineController.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/EngineController.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/FloraSubprocessEngine.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/FloraSubprocessEngine.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/InitiallyFlatTermModel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/InitiallyFlatTermModel.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/InterprologConstants.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/InterprologConstants.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/JavaStateCaching.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/JavaStateCaching.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/LPSEngine.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/LPSEngine.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/ObjectExamplePair.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/ObjectExamplePair.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/OnTopSubprocessEngine.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/OnTopSubprocessEngine.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/PrologEngine.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/PrologEngine.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/PrologEngineListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/PrologEngineListener.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/PrologImplementationPeer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/PrologImplementationPeer.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/PrologOperatorsContext.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/PrologOperatorsContext.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/PrologOutputListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/PrologOutputListener.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/SWIPeer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/SWIPeer.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/SWISubprocessEngine.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/SWISubprocessEngine.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/SolutionIterator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/SolutionIterator.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/SubprocessEngine.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/SubprocessEngine.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/TermModel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/TermModel.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/TermModelListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/TermModelListener.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/XSBPeer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/XSBPeer.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/XSBSubprocessEngine.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/XSBSubprocessEngine.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/examples/BackEnd.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/examples/BackEnd.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/examples/DataSourceExample.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/examples/DataSourceExample.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/examples/FileProcessor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/examples/FileProcessor.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/examples/HelloRemote.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/examples/HelloRemote.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/examples/HelloRemote2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/examples/HelloRemote2.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/examples/HelloWindow.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/examples/HelloWindow.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/examples/HelloWindow2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/examples/HelloWindow2.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/examples/HelloWorld.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/examples/HelloWorld.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/examples/HelloWorldSWI.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/examples/HelloWorldSWI.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/examples/HelloWorldXSB.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/examples/HelloWorldXSB.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/examples/PerformanceTester.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/examples/PerformanceTester.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/examples/Sudoku.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/examples/Sudoku.P -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/examples/SudokuPuzzles/Problem10-SMichiyo.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/examples/SudokuPuzzles/Problem10-SMichiyo.txt -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/examples/SudokuPuzzles/Problem9-RyoKaneoka.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/examples/SudokuPuzzles/Problem9-RyoKaneoka.txt -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/examples/SudokuPuzzles/exemploSite.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/examples/SudokuPuzzles/exemploSite.txt -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/examples/SudokuPuzzles/problema1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/examples/SudokuPuzzles/problema1.txt -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/examples/SudokuPuzzles/problema125.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/examples/SudokuPuzzles/problema125.txt -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/examples/SudokuPuzzles/problema23.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/examples/SudokuPuzzles/problema23.txt -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/examples/SudokuPuzzles/problema31.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/examples/SudokuPuzzles/problema31.txt -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/examples/SudokuPuzzles/problema7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/examples/SudokuPuzzles/problema7.txt -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/examples/SudokuPuzzles/problemaTutorial.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/examples/SudokuPuzzles/problemaTutorial.txt -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/examples/SudokuPuzzles/sep2005contest.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/examples/SudokuPuzzles/sep2005contest.txt -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/examples/SudokuWindow.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/examples/SudokuWindow.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/gui/CommandHistory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/gui/CommandHistory.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/gui/EngineInspectionWindow.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/gui/EngineInspectionWindow.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/gui/FloraSubprocessEngineWindow.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/gui/FloraSubprocessEngineWindow.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/gui/ListenerWindow.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/gui/ListenerWindow.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/gui/PredicateTableModel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/gui/PredicateTableModel.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/gui/PredicateTableWindow.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/gui/PredicateTableWindow.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/gui/PrologEventBroker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/gui/PrologEventBroker.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/gui/RelationTreeModel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/gui/RelationTreeModel.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/gui/SWISubprocessEngineWindow.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/gui/SWISubprocessEngineWindow.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/gui/SmartScroller.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/gui/SmartScroller.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/gui/StyledOutputPane.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/gui/StyledOutputPane.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/gui/SubprocessEngineWindow.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/gui/SubprocessEngineWindow.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/gui/TermListModel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/gui/TermListModel.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/gui/TermListWindow.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/gui/TermListWindow.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/gui/TermModelWindow.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/gui/TermModelWindow.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/gui/TermTreeModel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/gui/TermTreeModel.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/gui/TermTreePane.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/gui/TermTreePane.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/gui/TermTreeWindow.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/gui/TermTreeWindow.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/gui/XSBSubprocessEngineWindow.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/gui/XSBSubprocessEngineWindow.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/gui/XSBTableModel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/gui/XSBTableModel.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/gui/XSBTableWindow.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/gui/XSBTableWindow.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/gui/images/minilogo.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/gui/images/minilogo.gif -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/gui/visualization.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/gui/visualization.P -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/interprolog.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/interprolog.P -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/remote/PrologServer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/remote/PrologServer.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/remote/RemoteXSBSubprocessEngine.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/remote/RemoteXSBSubprocessEngine.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/tests.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/tests.P -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/util/BasicTypeWrapper.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/util/BasicTypeWrapper.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/util/CompactIterator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/util/CompactIterator.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/util/GoalFromJava.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/util/GoalFromJava.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/util/GoalToExecute.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/util/GoalToExecute.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/util/IPAbortedException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/util/IPAbortedException.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/util/IPClassObject.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/util/IPClassObject.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/util/IPClassVariable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/util/IPClassVariable.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/util/IPException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/util/IPException.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/util/IPInterruptedException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/util/IPInterruptedException.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/util/IPPrologError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/util/IPPrologError.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/util/InvisibleObject.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/util/InvisibleObject.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/util/JavaLangUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/util/JavaLangUtils.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/util/MessageExecuting.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/util/MessageExecuting.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/util/MessageFromProlog.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/util/MessageFromProlog.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/util/MyStreamTokenizer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/util/MyStreamTokenizer.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/util/ObjectRegistry.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/util/ObjectRegistry.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/util/OutOfBandTermResource.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/util/OutOfBandTermResource.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/util/OutputHandler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/util/OutputHandler.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/util/OutputListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/util/OutputListener.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/util/PrologHaltedException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/util/PrologHaltedException.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/util/PrologOutputObjectStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/util/PrologOutputObjectStream.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/util/Recognizer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/util/Recognizer.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/util/RecognizerListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/util/RecognizerListener.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/util/ResultFromJava.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/util/ResultFromJava.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/util/ResultFromProlog.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/util/ResultFromProlog.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/util/SystemUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/util/SystemUtils.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/util/UnavailableResultException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/util/UnavailableResultException.java -------------------------------------------------------------------------------- /src/main/java/com/declarativa/interprolog/util/VariableNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/declarativa/interprolog/util/VariableNode.java -------------------------------------------------------------------------------- /src/main/java/com/xsb/interprolog/AbstractNativeEngine.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/xsb/interprolog/AbstractNativeEngine.java -------------------------------------------------------------------------------- /src/main/java/com/xsb/interprolog/NativeEngine.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/xsb/interprolog/NativeEngine.java -------------------------------------------------------------------------------- /src/main/java/com/xsb/interprolog/NativeEngineWindow.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/main/java/com/xsb/interprolog/NativeEngineWindow.java -------------------------------------------------------------------------------- /src/test/java/com/declarativa/interprolog/AllTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/test/java/com/declarativa/interprolog/AllTests.java -------------------------------------------------------------------------------- /src/test/java/com/declarativa/interprolog/PrologEngineTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/test/java/com/declarativa/interprolog/PrologEngineTest.java -------------------------------------------------------------------------------- /src/test/java/com/declarativa/interprolog/SWISubprocessEngineTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/test/java/com/declarativa/interprolog/SWISubprocessEngineTest.java -------------------------------------------------------------------------------- /src/test/java/com/declarativa/interprolog/SubprocessEngineTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/test/java/com/declarativa/interprolog/SubprocessEngineTest.java -------------------------------------------------------------------------------- /src/test/java/com/declarativa/interprolog/XSBSubprocessEngineTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/test/java/com/declarativa/interprolog/XSBSubprocessEngineTest.java -------------------------------------------------------------------------------- /src/test/java/com/xsb/interprolog/NativeEngineTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/test/java/com/xsb/interprolog/NativeEngineTest.java -------------------------------------------------------------------------------- /src/test/java/com/xsb/interprolog/XSBNativeEngineTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mcalejo/interprolog/HEAD/src/test/java/com/xsb/interprolog/XSBNativeEngineTest.java --------------------------------------------------------------------------------