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

Age	Commit message (Expand)	Author
2021-07-21	Always use a fresh clausenr for read teams, and make sure to update the claus...	Peter Mikkelsen
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 ope...	Peter Mikkelsen
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 prettypr...	Peter Mikkelsen
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. Thi...	Peter Mikkelsen
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 act...	Peter Mikkelsen
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 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
2021-06-28	Initial commit. Start working on a new prolog implementation for 9front, now ...	Peter Mikkelsen