pprolog - A new prolog interpreter for Plan 9. Replaces the old pprolog project.

Age	Commit message (Collapse)	Author
2021-06-30	Allow the repl to backtrack to give alternative results	Peter Mikkelsen

2021-06-30	Add functor/3	Peter Mikkelsen

2021-06-30	Add comparison predicates	Peter Mikkelsen

2021-06-30	Add a standard library with the "builtins" that doesn't really need to be ↵	Peter Mikkelsen
	actual builtins
2021-06-30	Add support for builtins, and implement true/0, fail/0, call/1, and !/0 builtins	Peter Mikkelsen

2021-06-30	Give queries another id than clauses, so variable names doesn't clash	Peter Mikkelsen

2021-06-30	Add a basic repl	Peter Mikkelsen

2021-06-30	Treat the variable _ differently, in that it doesn't introduce a new binding	Peter Mikkelsen

2021-06-30	Add backtracking to the evaluator. This means we have to keep track of ↵	Peter Mikkelsen
	choicepoints which is implemented the easy but wasteful way for now. I have also added a number which is used to differentiate variables from different application of the clauses.
2021-06-30	Start work on an evaluator. For now it knows how to unify but doesn't know ↵	Peter Mikkelsen
	how to handle builtin predicates or how to backtrack