├── .gitignore ├── ChangeLog ├── Makefile ├── README.md ├── RELEASE_NOTES ├── configure.sh ├── doc ├── Makefile └── guide.tex ├── examples └── simple │ ├── Makefile │ ├── bi.apl │ ├── cps.apl │ ├── cut.apl │ ├── dcg.apl │ ├── debruijn.apl │ ├── defns.apl │ ├── diff.apl │ ├── dl.apl │ ├── esubst.apl │ ├── fol.apl │ ├── ill.apl │ ├── infix.apl │ ├── lam-ref.apl │ ├── lam.apl │ ├── lambda-mu.apl │ ├── ltal.apl │ ├── miniml.apl │ ├── nl.apl │ ├── nomu.apl │ ├── nsl.apl │ ├── picalc.apl │ ├── spi.apl │ ├── systemf.apl │ ├── unify.apl │ └── zeta.apl ├── install.sh ├── lib ├── list.apl └── option.apl ├── src ├── .depend ├── Makefile ├── absyn.ml ├── absyn.mli ├── boundsolve.ml ├── boundsolve.mli ├── check.ml ├── check.mli ├── dependency_graph.ml ├── dependency_graph.mli ├── eval.ml ├── eval.mli ├── explain.ml ├── explain.mli ├── fixity.ml ├── fixity.mli ├── flags.ml ├── flags.mli ├── index.ml ├── index.mli ├── internal.ml ├── internal.mli ├── isym.ml ├── isym.mli ├── lexer.mll ├── lineno.ml ├── lineno.mli ├── main.ml ├── monad.ml ├── monad.mli ├── negelim.ml ├── negelim.mli ├── nstbl.ml ├── nstbl.mli ├── parser.mly ├── perm.ml ├── perm.mli ├── pos.ml ├── pos.mli ├── printer.ml ├── printer.mli ├── runtime.ml ├── runtime.mli ├── solve.ml ├── solve.mli ├── string_map.ml ├── string_map.mli ├── string_set.ml ├── string_set.mli ├── subst.ml ├── subst.mli ├── tc.ml ├── tc.mli ├── tcenv.ml ├── tcenv.mli ├── termgraph.ml ├── termgraph.mli ├── translate.ml ├── translate.mli ├── trie.ml ├── trie.mli ├── types.ml ├── types.mli ├── unify.ml ├── unify.mli ├── unique.ml ├── unique.mli ├── util.ml ├── util.mli ├── var.ml ├── var.mli ├── varmap.ml ├── varmap.mli ├── varset.ml └── varset.mli └── uninstall.sh /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/.gitignore -------------------------------------------------------------------------------- /ChangeLog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/ChangeLog -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/README.md -------------------------------------------------------------------------------- /RELEASE_NOTES: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/RELEASE_NOTES -------------------------------------------------------------------------------- /configure.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/configure.sh -------------------------------------------------------------------------------- /doc/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/doc/Makefile -------------------------------------------------------------------------------- /doc/guide.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/doc/guide.tex -------------------------------------------------------------------------------- /examples/simple/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/examples/simple/Makefile -------------------------------------------------------------------------------- /examples/simple/bi.apl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/examples/simple/bi.apl -------------------------------------------------------------------------------- /examples/simple/cps.apl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/examples/simple/cps.apl -------------------------------------------------------------------------------- /examples/simple/cut.apl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/examples/simple/cut.apl -------------------------------------------------------------------------------- /examples/simple/dcg.apl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/examples/simple/dcg.apl -------------------------------------------------------------------------------- /examples/simple/debruijn.apl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/examples/simple/debruijn.apl -------------------------------------------------------------------------------- /examples/simple/defns.apl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/examples/simple/defns.apl -------------------------------------------------------------------------------- /examples/simple/diff.apl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/examples/simple/diff.apl -------------------------------------------------------------------------------- /examples/simple/dl.apl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/examples/simple/dl.apl -------------------------------------------------------------------------------- /examples/simple/esubst.apl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/examples/simple/esubst.apl -------------------------------------------------------------------------------- /examples/simple/fol.apl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/examples/simple/fol.apl -------------------------------------------------------------------------------- /examples/simple/ill.apl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/examples/simple/ill.apl -------------------------------------------------------------------------------- /examples/simple/infix.apl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/examples/simple/infix.apl -------------------------------------------------------------------------------- /examples/simple/lam-ref.apl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/examples/simple/lam-ref.apl -------------------------------------------------------------------------------- /examples/simple/lam.apl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/examples/simple/lam.apl -------------------------------------------------------------------------------- /examples/simple/lambda-mu.apl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/examples/simple/lambda-mu.apl -------------------------------------------------------------------------------- /examples/simple/ltal.apl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/examples/simple/ltal.apl -------------------------------------------------------------------------------- /examples/simple/miniml.apl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/examples/simple/miniml.apl -------------------------------------------------------------------------------- /examples/simple/nl.apl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/examples/simple/nl.apl -------------------------------------------------------------------------------- /examples/simple/nomu.apl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/examples/simple/nomu.apl -------------------------------------------------------------------------------- /examples/simple/nsl.apl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/examples/simple/nsl.apl -------------------------------------------------------------------------------- /examples/simple/picalc.apl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/examples/simple/picalc.apl -------------------------------------------------------------------------------- /examples/simple/spi.apl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/examples/simple/spi.apl -------------------------------------------------------------------------------- /examples/simple/systemf.apl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/examples/simple/systemf.apl -------------------------------------------------------------------------------- /examples/simple/unify.apl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/examples/simple/unify.apl -------------------------------------------------------------------------------- /examples/simple/zeta.apl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/examples/simple/zeta.apl -------------------------------------------------------------------------------- /install.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/install.sh -------------------------------------------------------------------------------- /lib/list.apl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/lib/list.apl -------------------------------------------------------------------------------- /lib/option.apl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/lib/option.apl -------------------------------------------------------------------------------- /src/.depend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/.depend -------------------------------------------------------------------------------- /src/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/Makefile -------------------------------------------------------------------------------- /src/absyn.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/absyn.ml -------------------------------------------------------------------------------- /src/absyn.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/absyn.mli -------------------------------------------------------------------------------- /src/boundsolve.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/boundsolve.ml -------------------------------------------------------------------------------- /src/boundsolve.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/boundsolve.mli -------------------------------------------------------------------------------- /src/check.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/check.ml -------------------------------------------------------------------------------- /src/check.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/check.mli -------------------------------------------------------------------------------- /src/dependency_graph.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/dependency_graph.ml -------------------------------------------------------------------------------- /src/dependency_graph.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/dependency_graph.mli -------------------------------------------------------------------------------- /src/eval.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/eval.ml -------------------------------------------------------------------------------- /src/eval.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/eval.mli -------------------------------------------------------------------------------- /src/explain.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/explain.ml -------------------------------------------------------------------------------- /src/explain.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/explain.mli -------------------------------------------------------------------------------- /src/fixity.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/fixity.ml -------------------------------------------------------------------------------- /src/fixity.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/fixity.mli -------------------------------------------------------------------------------- /src/flags.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/flags.ml -------------------------------------------------------------------------------- /src/flags.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/flags.mli -------------------------------------------------------------------------------- /src/index.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/index.ml -------------------------------------------------------------------------------- /src/index.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/index.mli -------------------------------------------------------------------------------- /src/internal.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/internal.ml -------------------------------------------------------------------------------- /src/internal.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/internal.mli -------------------------------------------------------------------------------- /src/isym.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/isym.ml -------------------------------------------------------------------------------- /src/isym.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/isym.mli -------------------------------------------------------------------------------- /src/lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/lexer.mll -------------------------------------------------------------------------------- /src/lineno.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/lineno.ml -------------------------------------------------------------------------------- /src/lineno.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/lineno.mli -------------------------------------------------------------------------------- /src/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/main.ml -------------------------------------------------------------------------------- /src/monad.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/monad.ml -------------------------------------------------------------------------------- /src/monad.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/monad.mli -------------------------------------------------------------------------------- /src/negelim.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/negelim.ml -------------------------------------------------------------------------------- /src/negelim.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/negelim.mli -------------------------------------------------------------------------------- /src/nstbl.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/nstbl.ml -------------------------------------------------------------------------------- /src/nstbl.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/nstbl.mli -------------------------------------------------------------------------------- /src/parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/parser.mly -------------------------------------------------------------------------------- /src/perm.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/perm.ml -------------------------------------------------------------------------------- /src/perm.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/perm.mli -------------------------------------------------------------------------------- /src/pos.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/pos.ml -------------------------------------------------------------------------------- /src/pos.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/pos.mli -------------------------------------------------------------------------------- /src/printer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/printer.ml -------------------------------------------------------------------------------- /src/printer.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/printer.mli -------------------------------------------------------------------------------- /src/runtime.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/runtime.ml -------------------------------------------------------------------------------- /src/runtime.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/runtime.mli -------------------------------------------------------------------------------- /src/solve.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/solve.ml -------------------------------------------------------------------------------- /src/solve.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/solve.mli -------------------------------------------------------------------------------- /src/string_map.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/string_map.ml -------------------------------------------------------------------------------- /src/string_map.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/string_map.mli -------------------------------------------------------------------------------- /src/string_set.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/string_set.ml -------------------------------------------------------------------------------- /src/string_set.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/string_set.mli -------------------------------------------------------------------------------- /src/subst.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/subst.ml -------------------------------------------------------------------------------- /src/subst.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/subst.mli -------------------------------------------------------------------------------- /src/tc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/tc.ml -------------------------------------------------------------------------------- /src/tc.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/tc.mli -------------------------------------------------------------------------------- /src/tcenv.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/tcenv.ml -------------------------------------------------------------------------------- /src/tcenv.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/tcenv.mli -------------------------------------------------------------------------------- /src/termgraph.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/termgraph.ml -------------------------------------------------------------------------------- /src/termgraph.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/termgraph.mli -------------------------------------------------------------------------------- /src/translate.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/translate.ml -------------------------------------------------------------------------------- /src/translate.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/translate.mli -------------------------------------------------------------------------------- /src/trie.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/trie.ml -------------------------------------------------------------------------------- /src/trie.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/trie.mli -------------------------------------------------------------------------------- /src/types.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/types.ml -------------------------------------------------------------------------------- /src/types.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/types.mli -------------------------------------------------------------------------------- /src/unify.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/unify.ml -------------------------------------------------------------------------------- /src/unify.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/unify.mli -------------------------------------------------------------------------------- /src/unique.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/unique.ml -------------------------------------------------------------------------------- /src/unique.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/unique.mli -------------------------------------------------------------------------------- /src/util.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/util.ml -------------------------------------------------------------------------------- /src/util.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/util.mli -------------------------------------------------------------------------------- /src/var.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/var.ml -------------------------------------------------------------------------------- /src/var.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/var.mli -------------------------------------------------------------------------------- /src/varmap.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/varmap.ml -------------------------------------------------------------------------------- /src/varmap.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/varmap.mli -------------------------------------------------------------------------------- /src/varset.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/varset.ml -------------------------------------------------------------------------------- /src/varset.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/src/varset.mli -------------------------------------------------------------------------------- /uninstall.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aprolog-lang/aprolog/HEAD/uninstall.sh --------------------------------------------------------------------------------