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

Age	Commit message (Expand)	Author
2021-07-01	Add exceptions :) implement catch/3 and throw/1	Peter Mikkelsen
2021-07-01	Remove = from examples now that it is in stdlib	Peter Mikkelsen
2021-06-30	Add length/2 and member/2	Peter Mikkelsen
2021-06-30	Add support for builtins, and implement true/0, fail/0, call/1, and !/0 builtins	Peter Mikkelsen
2021-06-30	Add a basic repl	Peter Mikkelsen
2021-06-30	Treat the variable _ differently, in that it doesn't introduce a new binding	Peter Mikkelsen
2021-06-30	Add backtracking to the evaluator. This means we have to keep track of choice...	Peter Mikkelsen
2021-06-30	Start work on an evaluator. For now it knows how to unify but doesn't know ho...	Peter Mikkelsen
2021-06-29	Understand :-initialization(Goal) directive	Peter Mikkelsen
2021-06-29	Make parse return a list of clauses. Also pretty print the entire list of cla...	Peter Mikkelsen
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