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

Age	Commit message (Collapse)	Author
2021-07-05	First step on modules. Still very very rough.	Peter Mikkelsen

2021-07-03	Add one global choicestack so we don't need to pass it around	Peter Mikkelsen

2021-07-03	Start adding support for read_term and write_term	Peter Mikkelsen

2021-07-02	Start work on input/output streams	Peter Mikkelsen

2021-07-02	Remove strings, and add a (currently not changable) flag 'double_quotes' ↵	Peter Mikkelsen
	which defines how double quoted strings are stored.
2021-06-30	Allow the repl to backtrack to give alternative results	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 a basic repl	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
2021-06-29	Understand :-initialization(Goal) directive	Peter Mikkelsen

2021-06-29	Make parse return a list of clauses. Also pretty print the entire list of ↵	Peter Mikkelsen
	clauses.
2021-06-29	Add a term parser.	Peter Mikkelsen

2021-06-28	Initial commit. Start working on a new prolog implementation for 9front, now ↵	Peter Mikkelsen
	that I at least have a better understanding of what goes into a compiler :)