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 '=..'/2 work according to spec. Introduce types.c for functions which te...	Peter Mikkelsen
2021-07-06	Store the calling module in each goal, and fix a bug where unification could ...	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	Add one global choicestack so we don't need to pass it around	Peter Mikkelsen
2021-07-03	Start adding support for read_term and write_term	Peter Mikkelsen
2021-07-02	Start work on input/output streams	Peter Mikkelsen
2021-07-02	Begin work on set_prolog_flag/2 and current_prolog_flag/2	Peter Mikkelsen
2021-07-02	Remove strings, and add a (currently not changable) flag 'double_quotes' whic...	Peter Mikkelsen
2021-07-01	Add exceptions :) implement catch/3 and throw/1	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 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	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	Make parse return a list of clauses. Also pretty print the entire list of cla...	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