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

Age	Commit message (Collapse)	Author
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