├── .gitignore ├── LICENSE ├── README.md ├── art ├── appicon.png ├── appicon.svg ├── arthur_sanctuary_banner.png ├── community_picture.png ├── community_picture.svg ├── github_logo.png ├── jprol-example-life.png ├── logo.svg └── terminator_choice.gif ├── engine ├── jprol-core │ ├── pom.xml │ └── src │ │ ├── assemble │ │ └── bundle.xml │ │ ├── main │ │ ├── java │ │ │ └── com │ │ │ │ └── igormaznitsa │ │ │ │ └── jprol │ │ │ │ ├── annotations │ │ │ │ ├── JProlConsultFile.java │ │ │ │ ├── JProlConsultResource.java │ │ │ │ ├── JProlConsultText.java │ │ │ │ ├── JProlConsultUrl.java │ │ │ │ ├── JProlOperator.java │ │ │ │ ├── JProlOperators.java │ │ │ │ └── JProlPredicate.java │ │ │ │ ├── data │ │ │ │ ├── CompoundTerm.java │ │ │ │ ├── ConvertibleToTerm.java │ │ │ │ ├── NumericTerm.java │ │ │ │ ├── SourcePosition.java │ │ │ │ ├── SpecialTerm.java │ │ │ │ ├── Term.java │ │ │ │ ├── TermDouble.java │ │ │ │ ├── TermList.java │ │ │ │ ├── TermLong.java │ │ │ │ ├── TermOperator.java │ │ │ │ ├── TermOperatorContainer.java │ │ │ │ ├── TermStruct.java │ │ │ │ ├── TermType.java │ │ │ │ ├── TermVar.java │ │ │ │ └── Terms.java │ │ │ │ ├── exceptions │ │ │ │ ├── ProlAbstractCatchableException.java │ │ │ │ ├── ProlChoicePointInterruptedException.java │ │ │ │ ├── ProlChoicePointStackOverflowException.java │ │ │ │ ├── ProlCriticalError.java │ │ │ │ ├── ProlCustomErrorException.java │ │ │ │ ├── ProlDomainErrorException.java │ │ │ │ ├── ProlEvaluationErrorException.java │ │ │ │ ├── ProlException.java │ │ │ │ ├── ProlExistenceErrorException.java │ │ │ │ ├── ProlForkExecutionException.java │ │ │ │ ├── ProlHaltExecutionException.java │ │ │ │ ├── ProlInstantiationErrorException.java │ │ │ │ ├── ProlInterruptException.java │ │ │ │ ├── ProlKnowledgeBaseException.java │ │ │ │ ├── ProlPermissionErrorException.java │ │ │ │ ├── ProlRepresentationErrorException.java │ │ │ │ └── ProlTypeErrorException.java │ │ │ │ ├── kbase │ │ │ │ ├── IteratorType.java │ │ │ │ ├── KnowledgeBase.java │ │ │ │ └── inmemory │ │ │ │ │ ├── AbstractInMemoryKnowledgeBase.java │ │ │ │ │ ├── ConcurrentInMemoryKnowledgeBase.java │ │ │ │ │ ├── InMemoryClauseIterator.java │ │ │ │ │ ├── InMemoryKnowledgeBase.java │ │ │ │ │ └── items │ │ │ │ │ ├── InMemoryItem.java │ │ │ │ │ ├── RhsItemComplex.java │ │ │ │ │ └── RhsItemSimple.java │ │ │ │ ├── libs │ │ │ │ ├── AbstractJProlLibrary.java │ │ │ │ ├── JProlBootstrapLibrary.java │ │ │ │ ├── JProlCoreLibrary.java │ │ │ │ ├── JProlIoLibrary.java │ │ │ │ ├── JProlThreadLibrary.java │ │ │ │ └── extservice │ │ │ │ │ ├── JProlExternalService.java │ │ │ │ │ ├── JProlExternalServiceCallback.java │ │ │ │ │ ├── JProlExternalServiceCommonProperties.java │ │ │ │ │ ├── JProlExternalServiceFactory.java │ │ │ │ │ ├── JProlExternalServiceStartPropertyDescriptor.java │ │ │ │ │ └── JProlExternalServiceState.java │ │ │ │ ├── logic │ │ │ │ ├── ConsultInteract.java │ │ │ │ ├── JProlChoicePoint.java │ │ │ │ ├── JProlChoicePointResult.java │ │ │ │ ├── JProlContext.java │ │ │ │ ├── JProlSystemFlag.java │ │ │ │ ├── JProlTreeBuilder.java │ │ │ │ ├── PredicateInvoker.java │ │ │ │ ├── PreparedGoal.java │ │ │ │ ├── UndefinedPredicateBehavior.java │ │ │ │ ├── VariableStateSnapshot.java │ │ │ │ ├── io │ │ │ │ │ └── IoResourceProvider.java │ │ │ │ └── triggers │ │ │ │ │ ├── AbstractJProlTrigger.java │ │ │ │ │ ├── JProlTrigger.java │ │ │ │ │ ├── JProlTriggerType.java │ │ │ │ │ ├── JProlTriggeringEventObserver.java │ │ │ │ │ └── TriggerEvent.java │ │ │ │ ├── trace │ │ │ │ ├── JProlContextListener.java │ │ │ │ └── TraceEvent.java │ │ │ │ └── utils │ │ │ │ ├── CloseableIterator.java │ │ │ │ ├── OperatorIterator.java │ │ │ │ ├── ProlAssertions.java │ │ │ │ ├── ProlPair.java │ │ │ │ └── ProlUtils.java │ │ └── resources │ │ │ └── com │ │ │ └── igormaznitsa │ │ │ └── jprol │ │ │ └── libs │ │ │ └── JProlCoreLibrary.pl │ │ └── test │ │ ├── java │ │ └── com │ │ │ └── igormaznitsa │ │ │ └── jprol │ │ │ ├── data │ │ │ └── CompoundTermTest.java │ │ │ ├── it │ │ │ ├── AbstractJProlTest.java │ │ │ ├── CryptoTest.java │ │ │ ├── EightQueensTest.java │ │ │ ├── EinsteinTest.java │ │ │ ├── HanoiTowersTest.java │ │ │ ├── ListTest.java │ │ │ ├── MapColorTest.java │ │ │ ├── MiscAlgorithmsTest.java │ │ │ ├── MiscTest.java │ │ │ ├── NonDeterministicAutomataTest.java │ │ │ ├── OperatorTest.java │ │ │ ├── PreparedGoalTest.java │ │ │ ├── PrimitiveTest.java │ │ │ ├── PuzzleTest.java │ │ │ ├── StrongTest.java │ │ │ ├── SudokuTest.java │ │ │ └── TriggerTest.java │ │ │ ├── libs │ │ │ ├── JProlBootstrapLibraryTest.java │ │ │ ├── JProlCoreLibraryTest.java │ │ │ ├── JProlIoLibraryTest.java │ │ │ └── JProlThreadLibraryTest.java │ │ │ └── utils │ │ │ └── UtilsTest.java │ │ └── resources │ │ └── com │ │ └── igormaznitsa │ │ └── jprol │ │ └── it │ │ └── sudoku9x9.pl ├── jprol-gui │ ├── pom.xml │ ├── src │ │ ├── assembly │ │ │ ├── linux-appimage │ │ │ │ ├── AppRun │ │ │ │ ├── icon.png │ │ │ │ ├── icon.svg │ │ │ │ ├── jprol-editor.desktop │ │ │ │ └── logger.properties │ │ │ ├── linux-nojre.xml │ │ │ ├── linux-nojre │ │ │ │ ├── icon.png │ │ │ │ ├── icon.svg │ │ │ │ ├── logger.properties │ │ │ │ ├── make_desktop.sh │ │ │ │ └── run.sh │ │ │ ├── linux.xml │ │ │ ├── linux │ │ │ │ ├── icon.png │ │ │ │ ├── icon.svg │ │ │ │ ├── logger.properties │ │ │ │ ├── make_desktop.sh │ │ │ │ └── run.sh │ │ │ ├── mac-aarch64.xml │ │ │ ├── mac-common │ │ │ │ └── Contents │ │ │ │ │ └── Resources │ │ │ │ │ ├── appicon.icns │ │ │ │ │ ├── appicon.png │ │ │ │ │ └── appicon.svg │ │ │ ├── mac-nojre.xml │ │ │ ├── mac-nojre │ │ │ │ └── JProlGui.app │ │ │ │ │ └── Contents │ │ │ │ │ ├── Info.plist │ │ │ │ │ └── MacOS │ │ │ │ │ └── jprolgui │ │ │ ├── mac.xml │ │ │ ├── mac │ │ │ │ └── JProlGui.app │ │ │ │ │ └── Contents │ │ │ │ │ ├── Info.plist │ │ │ │ │ └── MacOS │ │ │ │ │ └── jprolgui │ │ │ ├── windows-nojre.xml │ │ │ ├── windows-nojre │ │ │ │ ├── jprol.ico │ │ │ │ ├── jprol.png │ │ │ │ └── run_with_log.bat │ │ │ ├── windows.xml │ │ │ └── windows │ │ │ │ ├── jprol.ico │ │ │ │ ├── jprol.png │ │ │ │ └── run_with_log.bat │ │ └── main │ │ │ ├── java │ │ │ ├── JProlApp.java │ │ │ └── com │ │ │ │ └── igormaznitsa │ │ │ │ └── jprol │ │ │ │ ├── easygui │ │ │ │ ├── AbstractProlEditor.java │ │ │ │ ├── DialogEditor.java │ │ │ │ ├── FontChooserDialog.java │ │ │ │ ├── HelpDialog.java │ │ │ │ ├── JHtmlLabel.java │ │ │ │ ├── KnowledgeBaseSnapshotViewDialog.java │ │ │ │ ├── LibraryInfoDialog.java │ │ │ │ ├── LocalFontContainer.java │ │ │ │ ├── LogLibrary.java │ │ │ │ ├── MainFrame.java │ │ │ │ ├── MessageEditor.java │ │ │ │ ├── OptionsDialog.java │ │ │ │ ├── PrologSourceEditor.java │ │ │ │ ├── RecentlyOpenedFileFixedList.java │ │ │ │ ├── ScalableEditorPane.java │ │ │ │ ├── ScalableRsyntaxTextArea.java │ │ │ │ ├── TraceDialog.java │ │ │ │ ├── UiUtils.java │ │ │ │ ├── extservices │ │ │ │ │ └── JProlExternalServiceUtils.java │ │ │ │ └── tokenizer │ │ │ │ │ └── JProlTokenMaker.java │ │ │ │ └── libs │ │ │ │ ├── BaseUtils.java │ │ │ │ ├── JProlGfxLibrary.java │ │ │ │ ├── SoundClip.java │ │ │ │ └── TPrologPredicateLibrary.java │ │ │ └── resources │ │ │ ├── com │ │ │ └── igormaznitsa │ │ │ │ └── jprol │ │ │ │ └── easygui │ │ │ │ ├── icons │ │ │ │ ├── appico.png │ │ │ │ ├── book_next.png │ │ │ │ ├── book_previous.png │ │ │ │ ├── bookmark.png │ │ │ │ ├── cog.png │ │ │ │ ├── cog_edit.png │ │ │ │ ├── comment_add.png │ │ │ │ ├── comment_delete.png │ │ │ │ ├── cross.png │ │ │ │ ├── cut.png │ │ │ │ ├── disk.png │ │ │ │ ├── door_in.png │ │ │ │ ├── emoticon_smile.png │ │ │ │ ├── eye.png │ │ │ │ ├── flag_blue.png │ │ │ │ ├── flag_green.png │ │ │ │ ├── flag_red.png │ │ │ │ ├── folder.png │ │ │ │ ├── folder_wrench.png │ │ │ │ ├── information.png │ │ │ │ ├── keyboard.png │ │ │ │ ├── page.png │ │ │ │ ├── page_copy.png │ │ │ │ ├── page_delete.png │ │ │ │ ├── page_edit.png │ │ │ │ ├── page_go.png │ │ │ │ ├── page_paste.png │ │ │ │ ├── page_save.png │ │ │ │ ├── page_white.png │ │ │ │ ├── shape_move_forwards.png │ │ │ │ ├── table.png │ │ │ │ ├── text_align_justify.png │ │ │ │ ├── wrench.png │ │ │ │ └── zoom.png │ │ │ │ └── texts │ │ │ │ └── KeyboardShortcuts.html │ │ │ ├── fonts │ │ │ ├── JetBrainsMono-Regular.ttf │ │ │ └── NotoSansMono-Regular.ttf │ │ │ └── themes │ │ │ ├── jprol_dark.xml │ │ │ └── jprol_light.xml │ └── stub.sh.txt ├── jprol-lib-extra │ ├── pom.xml │ └── src │ │ ├── assemble │ │ └── bundle.xml │ │ ├── main │ │ └── java │ │ │ └── com │ │ │ └── igormaznitsa │ │ │ └── jprol │ │ │ └── libs │ │ │ ├── JProlHttpLibrary.java │ │ │ ├── JProlJsonLibrary.java │ │ │ ├── JProlRegexLibrary.java │ │ │ └── JProlStrLibrary.java │ │ └── test │ │ └── java │ │ └── com │ │ └── igormaznitsa │ │ └── jprol │ │ └── libs │ │ ├── AbstractJProlTest.java │ │ ├── JProlJsonLibraryTest.java │ │ ├── JProlRegexLibraryTest.java │ │ └── JProlStrLibraryTest.java └── pom.xml ├── examples ├── java │ └── jprol-example-life │ │ ├── pom.xml │ │ └── src │ │ ├── main │ │ └── java │ │ │ ├── JProlElife.java │ │ │ └── com │ │ │ └── igormaznitsa │ │ │ └── jprol │ │ │ └── example │ │ │ └── life │ │ │ ├── LifeGameField.java │ │ │ ├── LifeGameFieldRender.java │ │ │ ├── LifeLibrary.java │ │ │ └── MainForm.java │ │ └── test │ │ └── java │ │ └── com │ │ └── igormaznitsa │ │ └── jprol │ │ └── example │ │ └── life │ │ └── LifeGameFieldTest.java └── prolog │ ├── async.prl │ ├── consult_test.prl │ ├── consult_text.txt │ ├── crypto.prl │ ├── einstein_puzzle.prl │ ├── fork.prl │ ├── gettysburg10.wav │ ├── iso_arith_test.prl │ ├── iso_atom_number_test.prl │ ├── iso_findall_setof_bagof_test.prl │ ├── iso_length_test.prl │ ├── iso_list_test.prl │ ├── iso_test.prl │ ├── iso_test2.prl │ ├── koch.prl │ ├── operators.prl │ ├── ruscheckers.prl │ ├── sound.prl │ ├── soundclip.prl │ ├── sprite.prl │ ├── spriteDuke96x96.png │ ├── spriteJava94x94.png │ ├── test_term_verify.prl │ ├── test_true_if_cant_prove.prl │ ├── triggertest.prl │ └── uiactions.prl ├── jprolgui.png └── jprolguieditor.png /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/README.md -------------------------------------------------------------------------------- /art/appicon.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/art/appicon.png -------------------------------------------------------------------------------- /art/appicon.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/art/appicon.svg -------------------------------------------------------------------------------- /art/arthur_sanctuary_banner.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/art/arthur_sanctuary_banner.png -------------------------------------------------------------------------------- /art/community_picture.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/art/community_picture.png -------------------------------------------------------------------------------- /art/community_picture.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/art/community_picture.svg -------------------------------------------------------------------------------- /art/github_logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/art/github_logo.png -------------------------------------------------------------------------------- /art/jprol-example-life.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/art/jprol-example-life.png -------------------------------------------------------------------------------- /art/logo.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/art/logo.svg -------------------------------------------------------------------------------- /art/terminator_choice.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/art/terminator_choice.gif -------------------------------------------------------------------------------- /engine/jprol-core/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/pom.xml -------------------------------------------------------------------------------- /engine/jprol-core/src/assemble/bundle.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/assemble/bundle.xml -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/annotations/JProlConsultFile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/annotations/JProlConsultFile.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/annotations/JProlConsultResource.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/annotations/JProlConsultResource.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/annotations/JProlConsultText.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/annotations/JProlConsultText.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/annotations/JProlConsultUrl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/annotations/JProlConsultUrl.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/annotations/JProlOperator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/annotations/JProlOperator.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/annotations/JProlOperators.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/annotations/JProlOperators.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/annotations/JProlPredicate.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/annotations/JProlPredicate.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/data/CompoundTerm.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/data/CompoundTerm.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/data/ConvertibleToTerm.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/data/ConvertibleToTerm.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/data/NumericTerm.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/data/NumericTerm.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/data/SourcePosition.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/data/SourcePosition.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/data/SpecialTerm.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/data/SpecialTerm.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/data/Term.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/data/Term.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/data/TermDouble.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/data/TermDouble.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/data/TermList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/data/TermList.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/data/TermLong.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/data/TermLong.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/data/TermOperator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/data/TermOperator.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/data/TermOperatorContainer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/data/TermOperatorContainer.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/data/TermStruct.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/data/TermStruct.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/data/TermType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/data/TermType.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/data/TermVar.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/data/TermVar.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/data/Terms.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/data/Terms.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/exceptions/ProlAbstractCatchableException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/exceptions/ProlAbstractCatchableException.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/exceptions/ProlChoicePointInterruptedException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/exceptions/ProlChoicePointInterruptedException.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/exceptions/ProlChoicePointStackOverflowException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/exceptions/ProlChoicePointStackOverflowException.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/exceptions/ProlCriticalError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/exceptions/ProlCriticalError.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/exceptions/ProlCustomErrorException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/exceptions/ProlCustomErrorException.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/exceptions/ProlDomainErrorException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/exceptions/ProlDomainErrorException.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/exceptions/ProlEvaluationErrorException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/exceptions/ProlEvaluationErrorException.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/exceptions/ProlException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/exceptions/ProlException.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/exceptions/ProlExistenceErrorException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/exceptions/ProlExistenceErrorException.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/exceptions/ProlForkExecutionException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/exceptions/ProlForkExecutionException.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/exceptions/ProlHaltExecutionException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/exceptions/ProlHaltExecutionException.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/exceptions/ProlInstantiationErrorException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/exceptions/ProlInstantiationErrorException.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/exceptions/ProlInterruptException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/exceptions/ProlInterruptException.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/exceptions/ProlKnowledgeBaseException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/exceptions/ProlKnowledgeBaseException.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/exceptions/ProlPermissionErrorException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/exceptions/ProlPermissionErrorException.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/exceptions/ProlRepresentationErrorException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/exceptions/ProlRepresentationErrorException.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/exceptions/ProlTypeErrorException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/exceptions/ProlTypeErrorException.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/kbase/IteratorType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/kbase/IteratorType.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/kbase/KnowledgeBase.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/kbase/KnowledgeBase.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/kbase/inmemory/AbstractInMemoryKnowledgeBase.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/kbase/inmemory/AbstractInMemoryKnowledgeBase.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/kbase/inmemory/ConcurrentInMemoryKnowledgeBase.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/kbase/inmemory/ConcurrentInMemoryKnowledgeBase.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/kbase/inmemory/InMemoryClauseIterator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/kbase/inmemory/InMemoryClauseIterator.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/kbase/inmemory/InMemoryKnowledgeBase.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/kbase/inmemory/InMemoryKnowledgeBase.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/kbase/inmemory/items/InMemoryItem.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/kbase/inmemory/items/InMemoryItem.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/kbase/inmemory/items/RhsItemComplex.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/kbase/inmemory/items/RhsItemComplex.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/kbase/inmemory/items/RhsItemSimple.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/kbase/inmemory/items/RhsItemSimple.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/libs/AbstractJProlLibrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/libs/AbstractJProlLibrary.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/libs/JProlBootstrapLibrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/libs/JProlBootstrapLibrary.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/libs/JProlCoreLibrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/libs/JProlCoreLibrary.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/libs/JProlIoLibrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/libs/JProlIoLibrary.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/libs/JProlThreadLibrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/libs/JProlThreadLibrary.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/libs/extservice/JProlExternalService.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/libs/extservice/JProlExternalService.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/libs/extservice/JProlExternalServiceCallback.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/libs/extservice/JProlExternalServiceCallback.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/libs/extservice/JProlExternalServiceCommonProperties.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/libs/extservice/JProlExternalServiceCommonProperties.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/libs/extservice/JProlExternalServiceFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/libs/extservice/JProlExternalServiceFactory.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/libs/extservice/JProlExternalServiceStartPropertyDescriptor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/libs/extservice/JProlExternalServiceStartPropertyDescriptor.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/libs/extservice/JProlExternalServiceState.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/libs/extservice/JProlExternalServiceState.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/logic/ConsultInteract.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/logic/ConsultInteract.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/logic/JProlChoicePoint.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/logic/JProlChoicePoint.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/logic/JProlChoicePointResult.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/logic/JProlChoicePointResult.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/logic/JProlContext.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/logic/JProlContext.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/logic/JProlSystemFlag.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/logic/JProlSystemFlag.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/logic/JProlTreeBuilder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/logic/JProlTreeBuilder.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/logic/PredicateInvoker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/logic/PredicateInvoker.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/logic/PreparedGoal.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/logic/PreparedGoal.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/logic/UndefinedPredicateBehavior.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/logic/UndefinedPredicateBehavior.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/logic/VariableStateSnapshot.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/logic/VariableStateSnapshot.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/logic/io/IoResourceProvider.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/logic/io/IoResourceProvider.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/logic/triggers/AbstractJProlTrigger.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/logic/triggers/AbstractJProlTrigger.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/logic/triggers/JProlTrigger.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/logic/triggers/JProlTrigger.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/logic/triggers/JProlTriggerType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/logic/triggers/JProlTriggerType.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/logic/triggers/JProlTriggeringEventObserver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/logic/triggers/JProlTriggeringEventObserver.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/logic/triggers/TriggerEvent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/logic/triggers/TriggerEvent.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/trace/JProlContextListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/trace/JProlContextListener.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/trace/TraceEvent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/trace/TraceEvent.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/utils/CloseableIterator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/utils/CloseableIterator.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/utils/OperatorIterator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/utils/OperatorIterator.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/utils/ProlAssertions.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/utils/ProlAssertions.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/utils/ProlPair.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/utils/ProlPair.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/java/com/igormaznitsa/jprol/utils/ProlUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/java/com/igormaznitsa/jprol/utils/ProlUtils.java -------------------------------------------------------------------------------- /engine/jprol-core/src/main/resources/com/igormaznitsa/jprol/libs/JProlCoreLibrary.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/main/resources/com/igormaznitsa/jprol/libs/JProlCoreLibrary.pl -------------------------------------------------------------------------------- /engine/jprol-core/src/test/java/com/igormaznitsa/jprol/data/CompoundTermTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/test/java/com/igormaznitsa/jprol/data/CompoundTermTest.java -------------------------------------------------------------------------------- /engine/jprol-core/src/test/java/com/igormaznitsa/jprol/it/AbstractJProlTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/test/java/com/igormaznitsa/jprol/it/AbstractJProlTest.java -------------------------------------------------------------------------------- /engine/jprol-core/src/test/java/com/igormaznitsa/jprol/it/CryptoTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/test/java/com/igormaznitsa/jprol/it/CryptoTest.java -------------------------------------------------------------------------------- /engine/jprol-core/src/test/java/com/igormaznitsa/jprol/it/EightQueensTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/test/java/com/igormaznitsa/jprol/it/EightQueensTest.java -------------------------------------------------------------------------------- /engine/jprol-core/src/test/java/com/igormaznitsa/jprol/it/EinsteinTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/test/java/com/igormaznitsa/jprol/it/EinsteinTest.java -------------------------------------------------------------------------------- /engine/jprol-core/src/test/java/com/igormaznitsa/jprol/it/HanoiTowersTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/test/java/com/igormaznitsa/jprol/it/HanoiTowersTest.java -------------------------------------------------------------------------------- /engine/jprol-core/src/test/java/com/igormaznitsa/jprol/it/ListTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/test/java/com/igormaznitsa/jprol/it/ListTest.java -------------------------------------------------------------------------------- /engine/jprol-core/src/test/java/com/igormaznitsa/jprol/it/MapColorTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/test/java/com/igormaznitsa/jprol/it/MapColorTest.java -------------------------------------------------------------------------------- /engine/jprol-core/src/test/java/com/igormaznitsa/jprol/it/MiscAlgorithmsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/test/java/com/igormaznitsa/jprol/it/MiscAlgorithmsTest.java -------------------------------------------------------------------------------- /engine/jprol-core/src/test/java/com/igormaznitsa/jprol/it/MiscTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/test/java/com/igormaznitsa/jprol/it/MiscTest.java -------------------------------------------------------------------------------- /engine/jprol-core/src/test/java/com/igormaznitsa/jprol/it/NonDeterministicAutomataTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/test/java/com/igormaznitsa/jprol/it/NonDeterministicAutomataTest.java -------------------------------------------------------------------------------- /engine/jprol-core/src/test/java/com/igormaznitsa/jprol/it/OperatorTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/test/java/com/igormaznitsa/jprol/it/OperatorTest.java -------------------------------------------------------------------------------- /engine/jprol-core/src/test/java/com/igormaznitsa/jprol/it/PreparedGoalTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/test/java/com/igormaznitsa/jprol/it/PreparedGoalTest.java -------------------------------------------------------------------------------- /engine/jprol-core/src/test/java/com/igormaznitsa/jprol/it/PrimitiveTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/test/java/com/igormaznitsa/jprol/it/PrimitiveTest.java -------------------------------------------------------------------------------- /engine/jprol-core/src/test/java/com/igormaznitsa/jprol/it/PuzzleTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/test/java/com/igormaznitsa/jprol/it/PuzzleTest.java -------------------------------------------------------------------------------- /engine/jprol-core/src/test/java/com/igormaznitsa/jprol/it/StrongTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/test/java/com/igormaznitsa/jprol/it/StrongTest.java -------------------------------------------------------------------------------- /engine/jprol-core/src/test/java/com/igormaznitsa/jprol/it/SudokuTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/test/java/com/igormaznitsa/jprol/it/SudokuTest.java -------------------------------------------------------------------------------- /engine/jprol-core/src/test/java/com/igormaznitsa/jprol/it/TriggerTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/test/java/com/igormaznitsa/jprol/it/TriggerTest.java -------------------------------------------------------------------------------- /engine/jprol-core/src/test/java/com/igormaznitsa/jprol/libs/JProlBootstrapLibraryTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/test/java/com/igormaznitsa/jprol/libs/JProlBootstrapLibraryTest.java -------------------------------------------------------------------------------- /engine/jprol-core/src/test/java/com/igormaznitsa/jprol/libs/JProlCoreLibraryTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/test/java/com/igormaznitsa/jprol/libs/JProlCoreLibraryTest.java -------------------------------------------------------------------------------- /engine/jprol-core/src/test/java/com/igormaznitsa/jprol/libs/JProlIoLibraryTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/test/java/com/igormaznitsa/jprol/libs/JProlIoLibraryTest.java -------------------------------------------------------------------------------- /engine/jprol-core/src/test/java/com/igormaznitsa/jprol/libs/JProlThreadLibraryTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/test/java/com/igormaznitsa/jprol/libs/JProlThreadLibraryTest.java -------------------------------------------------------------------------------- /engine/jprol-core/src/test/java/com/igormaznitsa/jprol/utils/UtilsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/test/java/com/igormaznitsa/jprol/utils/UtilsTest.java -------------------------------------------------------------------------------- /engine/jprol-core/src/test/resources/com/igormaznitsa/jprol/it/sudoku9x9.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-core/src/test/resources/com/igormaznitsa/jprol/it/sudoku9x9.pl -------------------------------------------------------------------------------- /engine/jprol-gui/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/pom.xml -------------------------------------------------------------------------------- /engine/jprol-gui/src/assembly/linux-appimage/AppRun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/assembly/linux-appimage/AppRun -------------------------------------------------------------------------------- /engine/jprol-gui/src/assembly/linux-appimage/icon.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/assembly/linux-appimage/icon.png -------------------------------------------------------------------------------- /engine/jprol-gui/src/assembly/linux-appimage/icon.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/assembly/linux-appimage/icon.svg -------------------------------------------------------------------------------- /engine/jprol-gui/src/assembly/linux-appimage/jprol-editor.desktop: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/assembly/linux-appimage/jprol-editor.desktop -------------------------------------------------------------------------------- /engine/jprol-gui/src/assembly/linux-appimage/logger.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/assembly/linux-appimage/logger.properties -------------------------------------------------------------------------------- /engine/jprol-gui/src/assembly/linux-nojre.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/assembly/linux-nojre.xml -------------------------------------------------------------------------------- /engine/jprol-gui/src/assembly/linux-nojre/icon.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/assembly/linux-nojre/icon.png -------------------------------------------------------------------------------- /engine/jprol-gui/src/assembly/linux-nojre/icon.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/assembly/linux-nojre/icon.svg -------------------------------------------------------------------------------- /engine/jprol-gui/src/assembly/linux-nojre/logger.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/assembly/linux-nojre/logger.properties -------------------------------------------------------------------------------- /engine/jprol-gui/src/assembly/linux-nojre/make_desktop.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/assembly/linux-nojre/make_desktop.sh -------------------------------------------------------------------------------- /engine/jprol-gui/src/assembly/linux-nojre/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/assembly/linux-nojre/run.sh -------------------------------------------------------------------------------- /engine/jprol-gui/src/assembly/linux.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/assembly/linux.xml -------------------------------------------------------------------------------- /engine/jprol-gui/src/assembly/linux/icon.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/assembly/linux/icon.png -------------------------------------------------------------------------------- /engine/jprol-gui/src/assembly/linux/icon.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/assembly/linux/icon.svg -------------------------------------------------------------------------------- /engine/jprol-gui/src/assembly/linux/logger.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/assembly/linux/logger.properties -------------------------------------------------------------------------------- /engine/jprol-gui/src/assembly/linux/make_desktop.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/assembly/linux/make_desktop.sh -------------------------------------------------------------------------------- /engine/jprol-gui/src/assembly/linux/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/assembly/linux/run.sh -------------------------------------------------------------------------------- /engine/jprol-gui/src/assembly/mac-aarch64.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/assembly/mac-aarch64.xml -------------------------------------------------------------------------------- /engine/jprol-gui/src/assembly/mac-common/Contents/Resources/appicon.icns: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/assembly/mac-common/Contents/Resources/appicon.icns -------------------------------------------------------------------------------- /engine/jprol-gui/src/assembly/mac-common/Contents/Resources/appicon.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/assembly/mac-common/Contents/Resources/appicon.png -------------------------------------------------------------------------------- /engine/jprol-gui/src/assembly/mac-common/Contents/Resources/appicon.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/assembly/mac-common/Contents/Resources/appicon.svg -------------------------------------------------------------------------------- /engine/jprol-gui/src/assembly/mac-nojre.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/assembly/mac-nojre.xml -------------------------------------------------------------------------------- /engine/jprol-gui/src/assembly/mac-nojre/JProlGui.app/Contents/Info.plist: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/assembly/mac-nojre/JProlGui.app/Contents/Info.plist -------------------------------------------------------------------------------- /engine/jprol-gui/src/assembly/mac-nojre/JProlGui.app/Contents/MacOS/jprolgui: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/assembly/mac-nojre/JProlGui.app/Contents/MacOS/jprolgui -------------------------------------------------------------------------------- /engine/jprol-gui/src/assembly/mac.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/assembly/mac.xml -------------------------------------------------------------------------------- /engine/jprol-gui/src/assembly/mac/JProlGui.app/Contents/Info.plist: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/assembly/mac/JProlGui.app/Contents/Info.plist -------------------------------------------------------------------------------- /engine/jprol-gui/src/assembly/mac/JProlGui.app/Contents/MacOS/jprolgui: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/assembly/mac/JProlGui.app/Contents/MacOS/jprolgui -------------------------------------------------------------------------------- /engine/jprol-gui/src/assembly/windows-nojre.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/assembly/windows-nojre.xml -------------------------------------------------------------------------------- /engine/jprol-gui/src/assembly/windows-nojre/jprol.ico: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/assembly/windows-nojre/jprol.ico -------------------------------------------------------------------------------- /engine/jprol-gui/src/assembly/windows-nojre/jprol.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/assembly/windows-nojre/jprol.png -------------------------------------------------------------------------------- /engine/jprol-gui/src/assembly/windows-nojre/run_with_log.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/assembly/windows-nojre/run_with_log.bat -------------------------------------------------------------------------------- /engine/jprol-gui/src/assembly/windows.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/assembly/windows.xml -------------------------------------------------------------------------------- /engine/jprol-gui/src/assembly/windows/jprol.ico: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/assembly/windows/jprol.ico -------------------------------------------------------------------------------- /engine/jprol-gui/src/assembly/windows/jprol.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/assembly/windows/jprol.png -------------------------------------------------------------------------------- /engine/jprol-gui/src/assembly/windows/run_with_log.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/assembly/windows/run_with_log.bat -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/java/JProlApp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/java/JProlApp.java -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/java/com/igormaznitsa/jprol/easygui/AbstractProlEditor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/java/com/igormaznitsa/jprol/easygui/AbstractProlEditor.java -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/java/com/igormaznitsa/jprol/easygui/DialogEditor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/java/com/igormaznitsa/jprol/easygui/DialogEditor.java -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/java/com/igormaznitsa/jprol/easygui/FontChooserDialog.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/java/com/igormaznitsa/jprol/easygui/FontChooserDialog.java -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/java/com/igormaznitsa/jprol/easygui/HelpDialog.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/java/com/igormaznitsa/jprol/easygui/HelpDialog.java -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/java/com/igormaznitsa/jprol/easygui/JHtmlLabel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/java/com/igormaznitsa/jprol/easygui/JHtmlLabel.java -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/java/com/igormaznitsa/jprol/easygui/KnowledgeBaseSnapshotViewDialog.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/java/com/igormaznitsa/jprol/easygui/KnowledgeBaseSnapshotViewDialog.java -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/java/com/igormaznitsa/jprol/easygui/LibraryInfoDialog.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/java/com/igormaznitsa/jprol/easygui/LibraryInfoDialog.java -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/java/com/igormaznitsa/jprol/easygui/LocalFontContainer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/java/com/igormaznitsa/jprol/easygui/LocalFontContainer.java -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/java/com/igormaznitsa/jprol/easygui/LogLibrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/java/com/igormaznitsa/jprol/easygui/LogLibrary.java -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/java/com/igormaznitsa/jprol/easygui/MainFrame.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/java/com/igormaznitsa/jprol/easygui/MainFrame.java -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/java/com/igormaznitsa/jprol/easygui/MessageEditor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/java/com/igormaznitsa/jprol/easygui/MessageEditor.java -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/java/com/igormaznitsa/jprol/easygui/OptionsDialog.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/java/com/igormaznitsa/jprol/easygui/OptionsDialog.java -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/java/com/igormaznitsa/jprol/easygui/PrologSourceEditor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/java/com/igormaznitsa/jprol/easygui/PrologSourceEditor.java -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/java/com/igormaznitsa/jprol/easygui/RecentlyOpenedFileFixedList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/java/com/igormaznitsa/jprol/easygui/RecentlyOpenedFileFixedList.java -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/java/com/igormaznitsa/jprol/easygui/ScalableEditorPane.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/java/com/igormaznitsa/jprol/easygui/ScalableEditorPane.java -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/java/com/igormaznitsa/jprol/easygui/ScalableRsyntaxTextArea.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/java/com/igormaznitsa/jprol/easygui/ScalableRsyntaxTextArea.java -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/java/com/igormaznitsa/jprol/easygui/TraceDialog.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/java/com/igormaznitsa/jprol/easygui/TraceDialog.java -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/java/com/igormaznitsa/jprol/easygui/UiUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/java/com/igormaznitsa/jprol/easygui/UiUtils.java -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/java/com/igormaznitsa/jprol/easygui/extservices/JProlExternalServiceUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/java/com/igormaznitsa/jprol/easygui/extservices/JProlExternalServiceUtils.java -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/java/com/igormaznitsa/jprol/easygui/tokenizer/JProlTokenMaker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/java/com/igormaznitsa/jprol/easygui/tokenizer/JProlTokenMaker.java -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/java/com/igormaznitsa/jprol/libs/BaseUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/java/com/igormaznitsa/jprol/libs/BaseUtils.java -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/java/com/igormaznitsa/jprol/libs/JProlGfxLibrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/java/com/igormaznitsa/jprol/libs/JProlGfxLibrary.java -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/java/com/igormaznitsa/jprol/libs/SoundClip.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/java/com/igormaznitsa/jprol/libs/SoundClip.java -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/java/com/igormaznitsa/jprol/libs/TPrologPredicateLibrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/java/com/igormaznitsa/jprol/libs/TPrologPredicateLibrary.java -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/appico.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/appico.png -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/book_next.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/book_next.png -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/book_previous.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/book_previous.png -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/bookmark.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/bookmark.png -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/cog.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/cog.png -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/cog_edit.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/cog_edit.png -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/comment_add.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/comment_add.png -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/comment_delete.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/comment_delete.png -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/cross.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/cross.png -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/cut.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/cut.png -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/disk.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/disk.png -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/door_in.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/door_in.png -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/emoticon_smile.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/emoticon_smile.png -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/eye.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/eye.png -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/flag_blue.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/flag_blue.png -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/flag_green.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/flag_green.png -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/flag_red.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/flag_red.png -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/folder.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/folder.png -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/folder_wrench.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/folder_wrench.png -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/information.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/information.png -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/keyboard.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/keyboard.png -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/page.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/page.png -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/page_copy.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/page_copy.png -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/page_delete.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/page_delete.png -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/page_edit.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/page_edit.png -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/page_go.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/page_go.png -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/page_paste.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/page_paste.png -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/page_save.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/page_save.png -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/page_white.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/page_white.png -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/shape_move_forwards.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/shape_move_forwards.png -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/table.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/table.png -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/text_align_justify.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/text_align_justify.png -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/wrench.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/wrench.png -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/zoom.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/icons/zoom.png -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/texts/KeyboardShortcuts.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/resources/com/igormaznitsa/jprol/easygui/texts/KeyboardShortcuts.html -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/resources/fonts/JetBrainsMono-Regular.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/resources/fonts/JetBrainsMono-Regular.ttf -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/resources/fonts/NotoSansMono-Regular.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/resources/fonts/NotoSansMono-Regular.ttf -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/resources/themes/jprol_dark.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/resources/themes/jprol_dark.xml -------------------------------------------------------------------------------- /engine/jprol-gui/src/main/resources/themes/jprol_light.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/src/main/resources/themes/jprol_light.xml -------------------------------------------------------------------------------- /engine/jprol-gui/stub.sh.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-gui/stub.sh.txt -------------------------------------------------------------------------------- /engine/jprol-lib-extra/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-lib-extra/pom.xml -------------------------------------------------------------------------------- /engine/jprol-lib-extra/src/assemble/bundle.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-lib-extra/src/assemble/bundle.xml -------------------------------------------------------------------------------- /engine/jprol-lib-extra/src/main/java/com/igormaznitsa/jprol/libs/JProlHttpLibrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-lib-extra/src/main/java/com/igormaznitsa/jprol/libs/JProlHttpLibrary.java -------------------------------------------------------------------------------- /engine/jprol-lib-extra/src/main/java/com/igormaznitsa/jprol/libs/JProlJsonLibrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-lib-extra/src/main/java/com/igormaznitsa/jprol/libs/JProlJsonLibrary.java -------------------------------------------------------------------------------- /engine/jprol-lib-extra/src/main/java/com/igormaznitsa/jprol/libs/JProlRegexLibrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-lib-extra/src/main/java/com/igormaznitsa/jprol/libs/JProlRegexLibrary.java -------------------------------------------------------------------------------- /engine/jprol-lib-extra/src/main/java/com/igormaznitsa/jprol/libs/JProlStrLibrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-lib-extra/src/main/java/com/igormaznitsa/jprol/libs/JProlStrLibrary.java -------------------------------------------------------------------------------- /engine/jprol-lib-extra/src/test/java/com/igormaznitsa/jprol/libs/AbstractJProlTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-lib-extra/src/test/java/com/igormaznitsa/jprol/libs/AbstractJProlTest.java -------------------------------------------------------------------------------- /engine/jprol-lib-extra/src/test/java/com/igormaznitsa/jprol/libs/JProlJsonLibraryTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-lib-extra/src/test/java/com/igormaznitsa/jprol/libs/JProlJsonLibraryTest.java -------------------------------------------------------------------------------- /engine/jprol-lib-extra/src/test/java/com/igormaznitsa/jprol/libs/JProlRegexLibraryTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-lib-extra/src/test/java/com/igormaznitsa/jprol/libs/JProlRegexLibraryTest.java -------------------------------------------------------------------------------- /engine/jprol-lib-extra/src/test/java/com/igormaznitsa/jprol/libs/JProlStrLibraryTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/jprol-lib-extra/src/test/java/com/igormaznitsa/jprol/libs/JProlStrLibraryTest.java -------------------------------------------------------------------------------- /engine/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/engine/pom.xml -------------------------------------------------------------------------------- /examples/java/jprol-example-life/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/examples/java/jprol-example-life/pom.xml -------------------------------------------------------------------------------- /examples/java/jprol-example-life/src/main/java/JProlElife.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/examples/java/jprol-example-life/src/main/java/JProlElife.java -------------------------------------------------------------------------------- /examples/java/jprol-example-life/src/main/java/com/igormaznitsa/jprol/example/life/LifeGameField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/examples/java/jprol-example-life/src/main/java/com/igormaznitsa/jprol/example/life/LifeGameField.java -------------------------------------------------------------------------------- /examples/java/jprol-example-life/src/main/java/com/igormaznitsa/jprol/example/life/LifeGameFieldRender.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/examples/java/jprol-example-life/src/main/java/com/igormaznitsa/jprol/example/life/LifeGameFieldRender.java -------------------------------------------------------------------------------- /examples/java/jprol-example-life/src/main/java/com/igormaznitsa/jprol/example/life/LifeLibrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/examples/java/jprol-example-life/src/main/java/com/igormaznitsa/jprol/example/life/LifeLibrary.java -------------------------------------------------------------------------------- /examples/java/jprol-example-life/src/main/java/com/igormaznitsa/jprol/example/life/MainForm.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/examples/java/jprol-example-life/src/main/java/com/igormaznitsa/jprol/example/life/MainForm.java -------------------------------------------------------------------------------- /examples/java/jprol-example-life/src/test/java/com/igormaznitsa/jprol/example/life/LifeGameFieldTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/examples/java/jprol-example-life/src/test/java/com/igormaznitsa/jprol/example/life/LifeGameFieldTest.java -------------------------------------------------------------------------------- /examples/prolog/async.prl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/examples/prolog/async.prl -------------------------------------------------------------------------------- /examples/prolog/consult_test.prl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/examples/prolog/consult_test.prl -------------------------------------------------------------------------------- /examples/prolog/consult_text.txt: -------------------------------------------------------------------------------- 1 | hello(world). -------------------------------------------------------------------------------- /examples/prolog/crypto.prl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/examples/prolog/crypto.prl -------------------------------------------------------------------------------- /examples/prolog/einstein_puzzle.prl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/examples/prolog/einstein_puzzle.prl -------------------------------------------------------------------------------- /examples/prolog/fork.prl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/examples/prolog/fork.prl -------------------------------------------------------------------------------- /examples/prolog/gettysburg10.wav: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/examples/prolog/gettysburg10.wav -------------------------------------------------------------------------------- /examples/prolog/iso_arith_test.prl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/examples/prolog/iso_arith_test.prl -------------------------------------------------------------------------------- /examples/prolog/iso_atom_number_test.prl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/examples/prolog/iso_atom_number_test.prl -------------------------------------------------------------------------------- /examples/prolog/iso_findall_setof_bagof_test.prl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/examples/prolog/iso_findall_setof_bagof_test.prl -------------------------------------------------------------------------------- /examples/prolog/iso_length_test.prl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/examples/prolog/iso_length_test.prl -------------------------------------------------------------------------------- /examples/prolog/iso_list_test.prl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/examples/prolog/iso_list_test.prl -------------------------------------------------------------------------------- /examples/prolog/iso_test.prl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/examples/prolog/iso_test.prl -------------------------------------------------------------------------------- /examples/prolog/iso_test2.prl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/examples/prolog/iso_test2.prl -------------------------------------------------------------------------------- /examples/prolog/koch.prl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/examples/prolog/koch.prl -------------------------------------------------------------------------------- /examples/prolog/operators.prl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/examples/prolog/operators.prl -------------------------------------------------------------------------------- /examples/prolog/ruscheckers.prl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/examples/prolog/ruscheckers.prl -------------------------------------------------------------------------------- /examples/prolog/sound.prl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/examples/prolog/sound.prl -------------------------------------------------------------------------------- /examples/prolog/soundclip.prl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/examples/prolog/soundclip.prl -------------------------------------------------------------------------------- /examples/prolog/sprite.prl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/examples/prolog/sprite.prl -------------------------------------------------------------------------------- /examples/prolog/spriteDuke96x96.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/examples/prolog/spriteDuke96x96.png -------------------------------------------------------------------------------- /examples/prolog/spriteJava94x94.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/examples/prolog/spriteJava94x94.png -------------------------------------------------------------------------------- /examples/prolog/test_term_verify.prl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/examples/prolog/test_term_verify.prl -------------------------------------------------------------------------------- /examples/prolog/test_true_if_cant_prove.prl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/examples/prolog/test_true_if_cant_prove.prl -------------------------------------------------------------------------------- /examples/prolog/triggertest.prl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/examples/prolog/triggertest.prl -------------------------------------------------------------------------------- /examples/prolog/uiactions.prl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/examples/prolog/uiactions.prl -------------------------------------------------------------------------------- /jprolgui.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/jprolgui.png -------------------------------------------------------------------------------- /jprolguieditor.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/raydac/jprol/HEAD/jprolguieditor.png --------------------------------------------------------------------------------