├── .gitignore ├── CREDITS.txt ├── Documentation ├── Prolog test scene.unity ├── Unity Prolog Reference.htm └── User Manual.docx ├── Editor └── CopyFilesOnBuild.cs ├── Make_release └── make_release.sh ├── Manual generator ├── App.config ├── Manual generator.csproj ├── Program.cs └── Properties │ └── AssemblyInfo.cs ├── Prolog ├── AlphaConvertibleTerm.cs ├── ArgumentCountException.cs ├── ArgumentTypeException.cs ├── BadProcedureException.cs ├── BinaryPrimitive.cs ├── ByteCompiledRule.cs ├── CSVParser.cs ├── ConfigurationOptions.cs ├── Console.cs ├── CutStateSequencer.cs ├── DebugOverlay.cs ├── DelegateUtils.cs ├── DocumentationAttribute.cs ├── ELInspector.cs ├── ELNode.cs ├── ELNodeEnumerator.cs ├── ELNodeExclusionException.cs ├── ELProlog.cs ├── FunctionalExpression.cs ├── GenericArithmetic.cs ├── GoalException.cs ├── ISOPrologReader.cs ├── ISOPrologWriter.cs ├── Indexical.cs ├── InferenceStepsExceededException.cs ├── InstantiationException.cs ├── KB.cs ├── KnowledgeBase.cs ├── KnowledgeBaseEntry.cs ├── KnowledgeBaseRule.cs ├── KnowledgeBaseVariable.cs ├── LogicVariable.cs ├── Manual.cs ├── Metastructure.cs ├── PauseManager.cs ├── PositionTrackingTextReader.cs ├── PredicateArgumentIndexer.cs ├── PredicateArgumentIndexer.cs.meta ├── PredicateIndicator.cs ├── PredicateInfo.cs ├── Prolog.cs ├── Prolog.csproj ├── PrologChecker.cs ├── PrologConsole.cs ├── PrologContext.cs ├── PrologError.cs ├── PrologException.cs ├── PrologPrimitives.cs ├── PrologWarning.cs ├── Properties │ └── AssemblyInfo.cs ├── Repl.cs ├── Shuffler.cs ├── SourceFileTracker.cs ├── StoragePool.cs ├── StringUtils.cs ├── Structure.cs ├── Symbol.cs ├── SyntaxErrorException.cs ├── Term.cs ├── TypeUtils.cs ├── UndefinedPredicateException.cs └── UnityExtensionMethods.cs ├── README.md ├── Test rig ├── App.config ├── Prolog │ ├── freeze_tests.prolog │ └── test_rig.prolog ├── Properties │ └── AssemblyInfo.cs ├── Test rig.csproj └── TestRig.cs ├── TestRepl ├── App.config ├── Properties │ └── AssemblyInfo.cs ├── TestRepl.cs └── TestRepl.csproj └── Unity Prolog.sln /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/.gitignore -------------------------------------------------------------------------------- /CREDITS.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/CREDITS.txt -------------------------------------------------------------------------------- /Documentation/Prolog test scene.unity: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Documentation/Prolog test scene.unity -------------------------------------------------------------------------------- /Documentation/Unity Prolog Reference.htm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Documentation/Unity Prolog Reference.htm -------------------------------------------------------------------------------- /Documentation/User Manual.docx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Documentation/User Manual.docx -------------------------------------------------------------------------------- /Editor/CopyFilesOnBuild.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Editor/CopyFilesOnBuild.cs -------------------------------------------------------------------------------- /Make_release/make_release.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Make_release/make_release.sh -------------------------------------------------------------------------------- /Manual generator/App.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Manual generator/App.config -------------------------------------------------------------------------------- /Manual generator/Manual generator.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Manual generator/Manual generator.csproj -------------------------------------------------------------------------------- /Manual generator/Program.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Manual generator/Program.cs -------------------------------------------------------------------------------- /Manual generator/Properties/AssemblyInfo.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Manual generator/Properties/AssemblyInfo.cs -------------------------------------------------------------------------------- /Prolog/AlphaConvertibleTerm.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Prolog/AlphaConvertibleTerm.cs -------------------------------------------------------------------------------- /Prolog/ArgumentCountException.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Prolog/ArgumentCountException.cs -------------------------------------------------------------------------------- /Prolog/ArgumentTypeException.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Prolog/ArgumentTypeException.cs -------------------------------------------------------------------------------- /Prolog/BadProcedureException.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Prolog/BadProcedureException.cs -------------------------------------------------------------------------------- /Prolog/BinaryPrimitive.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Prolog/BinaryPrimitive.cs -------------------------------------------------------------------------------- /Prolog/ByteCompiledRule.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Prolog/ByteCompiledRule.cs -------------------------------------------------------------------------------- /Prolog/CSVParser.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Prolog/CSVParser.cs -------------------------------------------------------------------------------- /Prolog/ConfigurationOptions.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Prolog/ConfigurationOptions.cs -------------------------------------------------------------------------------- /Prolog/Console.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Prolog/Console.cs -------------------------------------------------------------------------------- /Prolog/CutStateSequencer.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Prolog/CutStateSequencer.cs -------------------------------------------------------------------------------- /Prolog/DebugOverlay.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Prolog/DebugOverlay.cs -------------------------------------------------------------------------------- /Prolog/DelegateUtils.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Prolog/DelegateUtils.cs -------------------------------------------------------------------------------- /Prolog/DocumentationAttribute.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Prolog/DocumentationAttribute.cs -------------------------------------------------------------------------------- /Prolog/ELInspector.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Prolog/ELInspector.cs -------------------------------------------------------------------------------- /Prolog/ELNode.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Prolog/ELNode.cs -------------------------------------------------------------------------------- /Prolog/ELNodeEnumerator.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Prolog/ELNodeEnumerator.cs -------------------------------------------------------------------------------- /Prolog/ELNodeExclusionException.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Prolog/ELNodeExclusionException.cs -------------------------------------------------------------------------------- /Prolog/ELProlog.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Prolog/ELProlog.cs -------------------------------------------------------------------------------- /Prolog/FunctionalExpression.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Prolog/FunctionalExpression.cs -------------------------------------------------------------------------------- /Prolog/GenericArithmetic.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Prolog/GenericArithmetic.cs -------------------------------------------------------------------------------- /Prolog/GoalException.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Prolog/GoalException.cs -------------------------------------------------------------------------------- /Prolog/ISOPrologReader.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Prolog/ISOPrologReader.cs -------------------------------------------------------------------------------- /Prolog/ISOPrologWriter.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Prolog/ISOPrologWriter.cs -------------------------------------------------------------------------------- /Prolog/Indexical.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Prolog/Indexical.cs -------------------------------------------------------------------------------- /Prolog/InferenceStepsExceededException.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Prolog/InferenceStepsExceededException.cs -------------------------------------------------------------------------------- /Prolog/InstantiationException.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Prolog/InstantiationException.cs -------------------------------------------------------------------------------- /Prolog/KB.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Prolog/KB.cs -------------------------------------------------------------------------------- /Prolog/KnowledgeBase.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Prolog/KnowledgeBase.cs -------------------------------------------------------------------------------- /Prolog/KnowledgeBaseEntry.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Prolog/KnowledgeBaseEntry.cs -------------------------------------------------------------------------------- /Prolog/KnowledgeBaseRule.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Prolog/KnowledgeBaseRule.cs -------------------------------------------------------------------------------- /Prolog/KnowledgeBaseVariable.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Prolog/KnowledgeBaseVariable.cs -------------------------------------------------------------------------------- /Prolog/LogicVariable.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Prolog/LogicVariable.cs -------------------------------------------------------------------------------- /Prolog/Manual.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Prolog/Manual.cs -------------------------------------------------------------------------------- /Prolog/Metastructure.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Prolog/Metastructure.cs -------------------------------------------------------------------------------- /Prolog/PauseManager.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Prolog/PauseManager.cs -------------------------------------------------------------------------------- /Prolog/PositionTrackingTextReader.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Prolog/PositionTrackingTextReader.cs -------------------------------------------------------------------------------- /Prolog/PredicateArgumentIndexer.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Prolog/PredicateArgumentIndexer.cs -------------------------------------------------------------------------------- /Prolog/PredicateArgumentIndexer.cs.meta: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Prolog/PredicateArgumentIndexer.cs.meta -------------------------------------------------------------------------------- /Prolog/PredicateIndicator.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Prolog/PredicateIndicator.cs -------------------------------------------------------------------------------- /Prolog/PredicateInfo.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Prolog/PredicateInfo.cs -------------------------------------------------------------------------------- /Prolog/Prolog.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Prolog/Prolog.cs -------------------------------------------------------------------------------- /Prolog/Prolog.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Prolog/Prolog.csproj -------------------------------------------------------------------------------- /Prolog/PrologChecker.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Prolog/PrologChecker.cs -------------------------------------------------------------------------------- /Prolog/PrologConsole.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Prolog/PrologConsole.cs -------------------------------------------------------------------------------- /Prolog/PrologContext.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Prolog/PrologContext.cs -------------------------------------------------------------------------------- /Prolog/PrologError.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Prolog/PrologError.cs -------------------------------------------------------------------------------- /Prolog/PrologException.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Prolog/PrologException.cs -------------------------------------------------------------------------------- /Prolog/PrologPrimitives.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Prolog/PrologPrimitives.cs -------------------------------------------------------------------------------- /Prolog/PrologWarning.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Prolog/PrologWarning.cs -------------------------------------------------------------------------------- /Prolog/Properties/AssemblyInfo.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Prolog/Properties/AssemblyInfo.cs -------------------------------------------------------------------------------- /Prolog/Repl.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Prolog/Repl.cs -------------------------------------------------------------------------------- /Prolog/Shuffler.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Prolog/Shuffler.cs -------------------------------------------------------------------------------- /Prolog/SourceFileTracker.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Prolog/SourceFileTracker.cs -------------------------------------------------------------------------------- /Prolog/StoragePool.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Prolog/StoragePool.cs -------------------------------------------------------------------------------- /Prolog/StringUtils.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Prolog/StringUtils.cs -------------------------------------------------------------------------------- /Prolog/Structure.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Prolog/Structure.cs -------------------------------------------------------------------------------- /Prolog/Symbol.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Prolog/Symbol.cs -------------------------------------------------------------------------------- /Prolog/SyntaxErrorException.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Prolog/SyntaxErrorException.cs -------------------------------------------------------------------------------- /Prolog/Term.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Prolog/Term.cs -------------------------------------------------------------------------------- /Prolog/TypeUtils.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Prolog/TypeUtils.cs -------------------------------------------------------------------------------- /Prolog/UndefinedPredicateException.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Prolog/UndefinedPredicateException.cs -------------------------------------------------------------------------------- /Prolog/UnityExtensionMethods.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Prolog/UnityExtensionMethods.cs -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/README.md -------------------------------------------------------------------------------- /Test rig/App.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Test rig/App.config -------------------------------------------------------------------------------- /Test rig/Prolog/freeze_tests.prolog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Test rig/Prolog/freeze_tests.prolog -------------------------------------------------------------------------------- /Test rig/Prolog/test_rig.prolog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Test rig/Prolog/test_rig.prolog -------------------------------------------------------------------------------- /Test rig/Properties/AssemblyInfo.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Test rig/Properties/AssemblyInfo.cs -------------------------------------------------------------------------------- /Test rig/Test rig.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Test rig/Test rig.csproj -------------------------------------------------------------------------------- /Test rig/TestRig.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Test rig/TestRig.cs -------------------------------------------------------------------------------- /TestRepl/App.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/TestRepl/App.config -------------------------------------------------------------------------------- /TestRepl/Properties/AssemblyInfo.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/TestRepl/Properties/AssemblyInfo.cs -------------------------------------------------------------------------------- /TestRepl/TestRepl.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/TestRepl/TestRepl.cs -------------------------------------------------------------------------------- /TestRepl/TestRepl.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/TestRepl/TestRepl.csproj -------------------------------------------------------------------------------- /Unity Prolog.sln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianhorswill/UnityProlog/HEAD/Unity Prolog.sln --------------------------------------------------------------------------------