ProCaml is a Prolog interpreter implemented in OCaml. It allows you to define Prolog-like programs and query them to find solutions.
- Supports defining clauses, heads, bodies, atoms, symbols, terms, variables, substitutions, goals, and more.
- Implements unification, backtracking, and goal-solving algorithms.
- Handles arithmetic operations within terms.
- Provides a simple command-line interface for running queries.
To load a prolog file by the name "file.pl" run the following command
make
./main file.plIf the program is syntactically correct, it will show the following screen :-
After this you can enter your queries. To exit enter "exit" or "quit".
can I copy this?
This is my intellectual property, original creation, and is copylefted. Use it for anything, but be warned that I am not liable, in any way, for any misuse, real or perceived, of this code.
This work is licensed under a Creative Commons Attribution-ShareAlike 3.0 Unported License.