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

Age	Commit message (Collapse)	Author
2021-07-10	Add findall/3 implemented in prolog	Peter Mikkelsen

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 clause/2 predicate	Peter Mikkelsen

2021-07-08	Add arithmetic comparison predicates	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

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-01	Add standard error predicates	Peter Mikkelsen

2021-07-01	Add exceptions :) implement catch/3 and throw/1	Peter Mikkelsen

2021-07-01	Start implementation of is/2	Peter Mikkelsen

2021-06-30	Add length/2 and member/2	Peter Mikkelsen

2021-06-30	Allow the repl to backtrack to give alternative results	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