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

Age	Commit message (Collapse)	Author
2021-07-08	Implement the full arithmetic part of the ISO spec.	Peter Mikkelsen

2021-07-07	Make '=..'/2 work according to spec. Introduce types.c for functions which ↵	Peter Mikkelsen
	tells us something about term types. Should be used a lot more instead of explicitly looking into terms->tag everywhere
2021-07-06	Group clauses into predicates, and create all valid choicepoints at once. ↵	Peter Mikkelsen
	This is wastefull if one branch loops forever, but it is much nicer otherwise, since we know the choicepoints only gets created as long as their head is unifiable with the goal.
2021-07-05	First step on modules. Still very very rough.	Peter Mikkelsen

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

2021-07-02	Begin work on set_prolog_flag/2 and current_prolog_flag/2	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	Add support for builtins, and implement true/0, fail/0, call/1, and !/0 builtins	Peter Mikkelsen

2021-06-30	Add a basic repl	Peter Mikkelsen

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	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 :)