shithub: pprolog

RSS feed

50f83a91 – Peter Mikkelsen <peter@pmikkelsen.com> authored on 2021/06/30 13:03
Add support for builtins, and implement true/0, fail/0, call/1, and !/0 builtins

347e5bc5 – Peter Mikkelsen <peter@pmikkelsen.com> authored on 2021/06/30 10:15
Give queries another id than clauses, so variable names doesn't clash

8fde6e48 – Peter Mikkelsen <peter@pmikkelsen.com> authored on 2021/06/30 10:04
Commit repl.c file

ee4298a2 – Peter Mikkelsen <peter@pmikkelsen.com> authored on 2021/06/30 10:04
Add a basic repl

79d1fe1c – Peter Mikkelsen <peter@pmikkelsen.com> authored on 2021/06/29 22:05
Add todo

67e8b85a – Peter Mikkelsen <peter@pmikkelsen.com> authored on 2021/06/29 22:01
Treat the variable _ differently, in that it doesn't introduce a new binding

2c3e688c – Peter Mikkelsen <peter@pmikkelsen.com> authored on 2021/06/29 21:58
Add backtracking to the evaluator. This means we have to keep track of choicepoints which is implemented the easy but wasteful way for now.

d5ce41f0 – Peter Mikkelsen <peter@pmikkelsen.com> authored on 2021/06/29 20:07
Start work on an evaluator. For now it knows how to unify but doesn't know how to handle builtin predicates or how to backtrack

9799fbd9 – Peter Mikkelsen <peter@pmikkelsen.com> authored on 2021/06/29 14:46
Understand :-initialization(Goal) directive

a27a5c52 – Peter Mikkelsen <peter@pmikkelsen.com> authored on 2021/06/29 14:31
Add more operators

50768fba – Peter Mikkelsen <peter@pmikkelsen.com> authored on 2021/06/29 14:21
Make parse return a list of clauses. Also pretty print the entire list of clauses.

64a411ed – Peter Mikkelsen <peter@pmikkelsen.com> authored on 2021/06/29 13:58
Parse terms in parenthesis correctly

6ae2e2bb – Peter Mikkelsen <peter@pmikkelsen.com> authored on 2021/06/29 13:51
Parse lists and {a,b,c} syntax (What is this even called?)

2d7f3ffa – Peter Mikkelsen <peter@pmikkelsen.com> authored on 2021/06/29 12:38
Parse , and make xfy do what it should

8fdf0bc6 – Peter Mikkelsen <peter@pmikkelsen.com> authored on 2021/06/29 12:28
Fix some parser errors, and accept clauses without a body

02145f06 – Peter Mikkelsen <peter@pmikkelsen.com> authored on 2021/06/29 11:51
Add a term parser.

0b36426d – Peter Mikkelsen <peter@pmikkelsen.com> authored on 2021/06/28 18:31
Initial commit. Start working on a new prolog implementation for 9front, now that I at least have a better understanding of what goes into a compiler :)