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

Age	Commit message (Collapse)	Author
2021-07-27	Don't use strings to identify vars, use numbers	Peter Mikkelsen

2021-07-23	Simplify parsing a bit, and make sure the prolog loader calls read_term with ↵	Peter Mikkelsen
	the correct module to pick up the correct operators
2021-07-22	Big commit changing the way the system is loaded at startup.	Peter Mikkelsen
	1) The loader and system modules are loaded by the C directly into the user module 2) The system module is then loaded with the loader from the user module 3) The loader module is then loaded with the loader from the user module 4) The repl is then loaded with the loader from the loader module 5) The user module is cleared
2021-07-22	Actually load repl.pl with the prolog loader, and handle module directives	Peter Mikkelsen

2021-07-20	Add a new work in progress loader to load all user defined modules	Peter Mikkelsen

2021-07-18	Install stdlib.pl and repl.pl into /sys/lib/prolog/	Peter Mikkelsen

2021-07-16	Handle -d option in prolog	Peter Mikkelsen

2021-07-16	Pass arguments to repl/1	Peter Mikkelsen

2021-07-16	Replace the C repl with one written in prolog :)	Peter Mikkelsen

2021-07-16	Make operators local to each module, and implement some more correct ↵	Peter Mikkelsen
	prettyprint code, used by write_term
2021-07-09	Add asserta/1, assertz/1, retract/1, abolish/1 (and retract_one/1, which is ↵	Peter Mikkelsen
	retract/1 but doesn't backtrack)
2021-07-08	Add current_predicate/1 builtin	Peter Mikkelsen

2021-07-08	Add a mark-sweep garbage collector	Peter Mikkelsen

2021-07-08	Add clause/2 predicate	Peter Mikkelsen

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