Name		Name	Last commit message	Last commit date
parent directory ..
.gitignore		.gitignore
Makefile		Makefile
README.md		README.md
lib.ml		lib.ml
prolog.ml		prolog.ml
resolution.ml		resolution.ml

README.md

This folder contains the source code of Tiny-Prolog-in-OCaml

A tiny implementation of a small subset of the Prolog language, in OCaml. With small and fun examples.

WARNING: this project only has an educational purpose, for a real-world use of Prolog, please refer to GNU Prolog (gprolog).

Requirements

Have OCaml installed, with camlp4o
And GNU Makefile

How to build

Clone or download the repository,
Go in this folder,
Run make, wait 5 seconds, and :taad: tadaa!

$ cd /tmp/
$ git clone https://github.com/Naereen/Tiny-Prolog-in-OCaml
$ cd Tiny-Prolog-in-OCaml
$ cd prolog
$ make prolog
ocamlc -pp camlp4o -c lib.ml
ocamlc on -pp camlp4o -c lib.ml
ocamlc lib.cmo -c resolution.ml
ocamlc on lib.cmo -c resolution.ml
ocamlc -o prolog lib.cmo resolution.cmo prolog.ml
ocamlc on -o prolog lib.cmo resolution.cmo prolog.ml
$ make clean
$ file prolog
prolog: a ocamlrun script executable (binary data)

If you need a native binary, do make prolog.opt instead.

List of files

Makefile defines the rules to build the binary,
prolog.ml implements (manually) the command line binary (parse input, etc),
lib.ml implements useful functions,
resolution.ml implements the data structure to manipulate terms, the parsing of a theory file, and the resolution algorithm to answer logical questions on a 0th-order theory.

How to use `prolog`

Load a theory (.pl file), and ask a question:

$ ./prolog theory.pl
?- ... # ask your question, end with .

Or load a theory and ask a question, directly from the command line:

$ ./prolog theory.pl "question(...,...)."
?- ... # give the answer, and quit

How to test

Use one of the examples:

cd ..
cd exemples
../prolog/prolog ./pair.pl "pair(o)."  # load a theory and ask a question
../prolog/prolog ./impair.pl "impair(o)."  # load a theory and ask a question
../prolog/prolog ./famille.pl "ancetre(X,renaud)."  # load a theory and ask a question