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

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