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

Age	Commit message (Collapse)	Author
2021-07-16	Make operators local to each module, and implement some more correct ↵	Peter Mikkelsen
	prettyprint code, used by write_term
2021-07-15	Make read_term understand the three read options:	Peter Mikkelsen
	variables(Vars), variable_names(VarNames), singletons(Singles) as required per the ISO standard
2021-07-13	Add atom_concat/3	Peter Mikkelsen

2021-07-13	Implement sort/2 and setof/3	Peter Mikkelsen

2021-07-11	Using member and then cut always picks the first element anyways, so just ↵	Peter Mikkelsen
	pick it with = instead
2021-07-11	Try to implement bagof/3, but I am not 100% sure it is correct	Peter Mikkelsen

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