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