├── .gitignore ├── .travis.yml ├── Features.md ├── HowToUse.md ├── README.md ├── composer.json ├── doc ├── wam java.pdf ├── wambook.pdf └── wamerratum.txt ├── phpunit.xml ├── prolog.php ├── samiconfig.php ├── src ├── CodeReader.php ├── Compiler.php ├── CompilerStructure.php ├── Inner │ ├── ChoicePoint.php │ ├── Environment.php │ ├── KeyValue.php │ ├── Trail.php │ └── Variable.php ├── OutputInterface.php ├── Program.php ├── PrologCompiler.php ├── PrologContext.php ├── QueryCompiler.php ├── Solution.php ├── Solution │ ├── Lis.php │ └── Str.php ├── Statement.php ├── WAM.php ├── WAMConsole.php └── WAMService.php └── tests ├── CodeReaderTest.php ├── IFoundABugTest.php ├── PrologCompilerHeadTest.php ├── PrologCompilerHornTest.php ├── PrologCompilerNotClauseTest.php ├── PrologCompilerWamTest.php ├── PrologContextTest.php ├── WAMBasketTest.php ├── WAMEightQueensTest.php ├── WAMHanoiTest.php ├── WAMMetalogicTest.php ├── WAMService1Test.php ├── WAMService2Test.php ├── WamTestCase.php └── fixtures ├── basket.pro ├── eightqueens.pro ├── fixtures1.pro ├── fixtures2.pro ├── fixtures3.pro └── hanoi.pro /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trismegiste/Prolog/HEAD/.gitignore -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trismegiste/Prolog/HEAD/.travis.yml -------------------------------------------------------------------------------- /Features.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trismegiste/Prolog/HEAD/Features.md -------------------------------------------------------------------------------- /HowToUse.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trismegiste/Prolog/HEAD/HowToUse.md -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trismegiste/Prolog/HEAD/README.md -------------------------------------------------------------------------------- /composer.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trismegiste/Prolog/HEAD/composer.json -------------------------------------------------------------------------------- /doc/wam java.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trismegiste/Prolog/HEAD/doc/wam java.pdf -------------------------------------------------------------------------------- /doc/wambook.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trismegiste/Prolog/HEAD/doc/wambook.pdf -------------------------------------------------------------------------------- /doc/wamerratum.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trismegiste/Prolog/HEAD/doc/wamerratum.txt -------------------------------------------------------------------------------- /phpunit.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trismegiste/Prolog/HEAD/phpunit.xml -------------------------------------------------------------------------------- /prolog.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trismegiste/Prolog/HEAD/prolog.php -------------------------------------------------------------------------------- /samiconfig.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trismegiste/Prolog/HEAD/samiconfig.php -------------------------------------------------------------------------------- /src/CodeReader.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trismegiste/Prolog/HEAD/src/CodeReader.php -------------------------------------------------------------------------------- /src/Compiler.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trismegiste/Prolog/HEAD/src/Compiler.php -------------------------------------------------------------------------------- /src/CompilerStructure.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trismegiste/Prolog/HEAD/src/CompilerStructure.php -------------------------------------------------------------------------------- /src/Inner/ChoicePoint.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trismegiste/Prolog/HEAD/src/Inner/ChoicePoint.php -------------------------------------------------------------------------------- /src/Inner/Environment.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trismegiste/Prolog/HEAD/src/Inner/Environment.php -------------------------------------------------------------------------------- /src/Inner/KeyValue.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trismegiste/Prolog/HEAD/src/Inner/KeyValue.php -------------------------------------------------------------------------------- /src/Inner/Trail.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trismegiste/Prolog/HEAD/src/Inner/Trail.php -------------------------------------------------------------------------------- /src/Inner/Variable.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trismegiste/Prolog/HEAD/src/Inner/Variable.php -------------------------------------------------------------------------------- /src/OutputInterface.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trismegiste/Prolog/HEAD/src/OutputInterface.php -------------------------------------------------------------------------------- /src/Program.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trismegiste/Prolog/HEAD/src/Program.php -------------------------------------------------------------------------------- /src/PrologCompiler.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trismegiste/Prolog/HEAD/src/PrologCompiler.php -------------------------------------------------------------------------------- /src/PrologContext.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trismegiste/Prolog/HEAD/src/PrologContext.php -------------------------------------------------------------------------------- /src/QueryCompiler.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trismegiste/Prolog/HEAD/src/QueryCompiler.php -------------------------------------------------------------------------------- /src/Solution.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trismegiste/Prolog/HEAD/src/Solution.php -------------------------------------------------------------------------------- /src/Solution/Lis.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trismegiste/Prolog/HEAD/src/Solution/Lis.php -------------------------------------------------------------------------------- /src/Solution/Str.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trismegiste/Prolog/HEAD/src/Solution/Str.php -------------------------------------------------------------------------------- /src/Statement.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trismegiste/Prolog/HEAD/src/Statement.php -------------------------------------------------------------------------------- /src/WAM.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trismegiste/Prolog/HEAD/src/WAM.php -------------------------------------------------------------------------------- /src/WAMConsole.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trismegiste/Prolog/HEAD/src/WAMConsole.php -------------------------------------------------------------------------------- /src/WAMService.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trismegiste/Prolog/HEAD/src/WAMService.php -------------------------------------------------------------------------------- /tests/CodeReaderTest.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trismegiste/Prolog/HEAD/tests/CodeReaderTest.php -------------------------------------------------------------------------------- /tests/IFoundABugTest.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trismegiste/Prolog/HEAD/tests/IFoundABugTest.php -------------------------------------------------------------------------------- /tests/PrologCompilerHeadTest.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trismegiste/Prolog/HEAD/tests/PrologCompilerHeadTest.php -------------------------------------------------------------------------------- /tests/PrologCompilerHornTest.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trismegiste/Prolog/HEAD/tests/PrologCompilerHornTest.php -------------------------------------------------------------------------------- /tests/PrologCompilerNotClauseTest.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trismegiste/Prolog/HEAD/tests/PrologCompilerNotClauseTest.php -------------------------------------------------------------------------------- /tests/PrologCompilerWamTest.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trismegiste/Prolog/HEAD/tests/PrologCompilerWamTest.php -------------------------------------------------------------------------------- /tests/PrologContextTest.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trismegiste/Prolog/HEAD/tests/PrologContextTest.php -------------------------------------------------------------------------------- /tests/WAMBasketTest.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trismegiste/Prolog/HEAD/tests/WAMBasketTest.php -------------------------------------------------------------------------------- /tests/WAMEightQueensTest.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trismegiste/Prolog/HEAD/tests/WAMEightQueensTest.php -------------------------------------------------------------------------------- /tests/WAMHanoiTest.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trismegiste/Prolog/HEAD/tests/WAMHanoiTest.php -------------------------------------------------------------------------------- /tests/WAMMetalogicTest.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trismegiste/Prolog/HEAD/tests/WAMMetalogicTest.php -------------------------------------------------------------------------------- /tests/WAMService1Test.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trismegiste/Prolog/HEAD/tests/WAMService1Test.php -------------------------------------------------------------------------------- /tests/WAMService2Test.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trismegiste/Prolog/HEAD/tests/WAMService2Test.php -------------------------------------------------------------------------------- /tests/WamTestCase.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trismegiste/Prolog/HEAD/tests/WamTestCase.php -------------------------------------------------------------------------------- /tests/fixtures/basket.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trismegiste/Prolog/HEAD/tests/fixtures/basket.pro -------------------------------------------------------------------------------- /tests/fixtures/eightqueens.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trismegiste/Prolog/HEAD/tests/fixtures/eightqueens.pro -------------------------------------------------------------------------------- /tests/fixtures/fixtures1.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trismegiste/Prolog/HEAD/tests/fixtures/fixtures1.pro -------------------------------------------------------------------------------- /tests/fixtures/fixtures2.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trismegiste/Prolog/HEAD/tests/fixtures/fixtures2.pro -------------------------------------------------------------------------------- /tests/fixtures/fixtures3.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trismegiste/Prolog/HEAD/tests/fixtures/fixtures3.pro -------------------------------------------------------------------------------- /tests/fixtures/hanoi.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trismegiste/Prolog/HEAD/tests/fixtures/hanoi.pro --------------------------------------------------------------------------------