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

Age	Commit message (Collapse)	Author
2021-07-21	Always use a fresh clausenr for read teams, and make sure to update the ↵	Peter Mikkelsen
	clausenr in call/1, so cuts are local to that call
2021-07-20	Add support for character code constants like 0'a	Peter Mikkelsen

2021-07-20	Add a bit of a hack to the parser so it can parse (a) op arg when a is an ↵	Peter Mikkelsen
	operator
2021-07-20	Support '' in tokens	Peter Mikkelsen

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

2021-07-20	Add op/3 and current_op/3	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-08	Add a mark-sweep garbage collector	Peter Mikkelsen

2021-07-08	Add arithmetic comparison predicates	Peter Mikkelsen

2021-07-08	Implement the full arithmetic part of the ISO spec.	Peter Mikkelsen

2021-07-07	Make functor/3 work according to spec	Peter Mikkelsen

2021-07-07	Add missing pre defined operators from iso prolog	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	Turn integers and floats into seperate term types	Peter Mikkelsen

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	Begin work on set_prolog_flag/2 and current_prolog_flag/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 builtins for typetests	Peter Mikkelsen

2021-06-30	Add a standard library with the "builtins" that doesn't really need to be ↵	Peter Mikkelsen
	actual builtins
2021-06-30	Give queries another id than clauses, so variable names doesn't clash	Peter Mikkelsen

2021-06-30	Add a basic repl	Peter Mikkelsen

2021-06-29	Understand :-initialization(Goal) directive	Peter Mikkelsen

2021-06-29	Add more operators	Peter Mikkelsen

2021-06-29	Make parse return a list of clauses. Also pretty print the entire list of ↵	Peter Mikkelsen
	clauses.
2021-06-29	Parse terms in parenthesis correctly	Peter Mikkelsen

2021-06-29	Parse lists and {a,b,c} syntax (What is this even called?)	Peter Mikkelsen

2021-06-29	Parse , and make xfy do what it should	Peter Mikkelsen

2021-06-29	Fix some parser errors, and accept clauses without a body	Peter Mikkelsen

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