├── AUTHORS ├── COPYING ├── Makefile ├── OCamlMakefile ├── README ├── ancestor.dl ├── ancestor.txt ├── bidipath.dl ├── bidipath.txt ├── cruanes ├── datalog.ml ├── datalog.mli ├── l.ml ├── laps.dl ├── laps.txt ├── long.dl ├── long.txt ├── main.ml ├── parser.mly ├── path.dl ├── path.txt ├── pq.dl ├── pq.txt ├── prover.ml ├── reader.ml ├── reader.mli ├── revpath.dl ├── revpath.txt ├── scanner.mll ├── tc.dl ├── tc.txt ├── true.dl ├── true.txt └── try /AUTHORS: -------------------------------------------------------------------------------- 1 | John D. Ramsdell, The MITRE Corporation. 2 | -------------------------------------------------------------------------------- /COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ramsdell/ocaml-datalog/HEAD/COPYING -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ramsdell/ocaml-datalog/HEAD/Makefile -------------------------------------------------------------------------------- /OCamlMakefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ramsdell/ocaml-datalog/HEAD/OCamlMakefile -------------------------------------------------------------------------------- /README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ramsdell/ocaml-datalog/HEAD/README -------------------------------------------------------------------------------- /ancestor.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ramsdell/ocaml-datalog/HEAD/ancestor.dl -------------------------------------------------------------------------------- /ancestor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ramsdell/ocaml-datalog/HEAD/ancestor.txt -------------------------------------------------------------------------------- /bidipath.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ramsdell/ocaml-datalog/HEAD/bidipath.dl -------------------------------------------------------------------------------- /bidipath.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ramsdell/ocaml-datalog/HEAD/bidipath.txt -------------------------------------------------------------------------------- /cruanes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ramsdell/ocaml-datalog/HEAD/cruanes -------------------------------------------------------------------------------- /datalog.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ramsdell/ocaml-datalog/HEAD/datalog.ml -------------------------------------------------------------------------------- /datalog.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ramsdell/ocaml-datalog/HEAD/datalog.mli -------------------------------------------------------------------------------- /l.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ramsdell/ocaml-datalog/HEAD/l.ml -------------------------------------------------------------------------------- /laps.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ramsdell/ocaml-datalog/HEAD/laps.dl -------------------------------------------------------------------------------- /laps.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ramsdell/ocaml-datalog/HEAD/laps.txt -------------------------------------------------------------------------------- /long.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ramsdell/ocaml-datalog/HEAD/long.dl -------------------------------------------------------------------------------- /long.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ramsdell/ocaml-datalog/HEAD/long.txt -------------------------------------------------------------------------------- /main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ramsdell/ocaml-datalog/HEAD/main.ml -------------------------------------------------------------------------------- /parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ramsdell/ocaml-datalog/HEAD/parser.mly -------------------------------------------------------------------------------- /path.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ramsdell/ocaml-datalog/HEAD/path.dl -------------------------------------------------------------------------------- /path.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ramsdell/ocaml-datalog/HEAD/path.txt -------------------------------------------------------------------------------- /pq.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ramsdell/ocaml-datalog/HEAD/pq.dl -------------------------------------------------------------------------------- /pq.txt: -------------------------------------------------------------------------------- 1 | q(a). 2 | -------------------------------------------------------------------------------- /prover.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ramsdell/ocaml-datalog/HEAD/prover.ml -------------------------------------------------------------------------------- /reader.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ramsdell/ocaml-datalog/HEAD/reader.ml -------------------------------------------------------------------------------- /reader.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ramsdell/ocaml-datalog/HEAD/reader.mli -------------------------------------------------------------------------------- /revpath.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ramsdell/ocaml-datalog/HEAD/revpath.dl -------------------------------------------------------------------------------- /revpath.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ramsdell/ocaml-datalog/HEAD/revpath.txt -------------------------------------------------------------------------------- /scanner.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ramsdell/ocaml-datalog/HEAD/scanner.mll -------------------------------------------------------------------------------- /tc.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ramsdell/ocaml-datalog/HEAD/tc.dl -------------------------------------------------------------------------------- /tc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ramsdell/ocaml-datalog/HEAD/tc.txt -------------------------------------------------------------------------------- /true.dl: -------------------------------------------------------------------------------- 1 | true. 2 | true? 3 | -------------------------------------------------------------------------------- /true.txt: -------------------------------------------------------------------------------- 1 | true. 2 | -------------------------------------------------------------------------------- /try: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ramsdell/ocaml-datalog/HEAD/try --------------------------------------------------------------------------------