├── README ├── examples ├── example.pl └── simple.js ├── main.js ├── package.json └── src ├── eventwaiter.js ├── loader.js ├── parser.js ├── prover.js ├── query.js ├── tokenizer.js └── types ├── atom.js ├── body.js ├── rule.js ├── term.js └── variable.js /README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abresas/prologjs/HEAD/README -------------------------------------------------------------------------------- /examples/example.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abresas/prologjs/HEAD/examples/example.pl -------------------------------------------------------------------------------- /examples/simple.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abresas/prologjs/HEAD/examples/simple.js -------------------------------------------------------------------------------- /main.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abresas/prologjs/HEAD/main.js -------------------------------------------------------------------------------- /package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abresas/prologjs/HEAD/package.json -------------------------------------------------------------------------------- /src/eventwaiter.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abresas/prologjs/HEAD/src/eventwaiter.js -------------------------------------------------------------------------------- /src/loader.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abresas/prologjs/HEAD/src/loader.js -------------------------------------------------------------------------------- /src/parser.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abresas/prologjs/HEAD/src/parser.js -------------------------------------------------------------------------------- /src/prover.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abresas/prologjs/HEAD/src/prover.js -------------------------------------------------------------------------------- /src/query.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abresas/prologjs/HEAD/src/query.js -------------------------------------------------------------------------------- /src/tokenizer.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abresas/prologjs/HEAD/src/tokenizer.js -------------------------------------------------------------------------------- /src/types/atom.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abresas/prologjs/HEAD/src/types/atom.js -------------------------------------------------------------------------------- /src/types/body.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abresas/prologjs/HEAD/src/types/body.js -------------------------------------------------------------------------------- /src/types/rule.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abresas/prologjs/HEAD/src/types/rule.js -------------------------------------------------------------------------------- /src/types/term.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abresas/prologjs/HEAD/src/types/term.js -------------------------------------------------------------------------------- /src/types/variable.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abresas/prologjs/HEAD/src/types/variable.js --------------------------------------------------------------------------------