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

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