index
:
pprolog
front
A new prolog interpreter for Plan 9. Replaces the old pprolog project.
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
dat.h
Age
Commit message (
Expand
)
Author
2021-07-08
Add current_predicate/1 builtin
Peter Mikkelsen
2021-07-08
Make the repl bindings and query global so the garbage collector can know abo...
Peter Mikkelsen
2021-07-08
Add clause/2 predicate
Peter Mikkelsen
2021-07-07
Add copy_term/2
Peter Mikkelsen
2021-07-06
Store the calling module in each goal, and fix a bug where unification could ...
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
Make the goalstack global just like the choicestack
Peter Mikkelsen
2021-07-03
Add one global choicestack so we don't need to pass it around
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
Add comparison predicates
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-29
Understand :-initialization(Goal) directive
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