shithub: pprolog

Info  •  Files  •  Log  •  Branches

d5ce41f0 – Peter Mikkelsen <[email protected]> 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 <[email protected]> authored on 2021/06/29 14:46

Understand :-initialization(Goal) directive

a27a5c52 – Peter Mikkelsen <[email protected]> authored on 2021/06/29 14:31

Add more operators

50768fba – Peter Mikkelsen <[email protected]> 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 <[email protected]> authored on 2021/06/29 13:58

Parse terms in parenthesis correctly

6ae2e2bb – Peter Mikkelsen <[email protected]> authored on 2021/06/29 13:51

Parse lists and {a,b,c} syntax (What is this even called?)

2d7f3ffa – Peter Mikkelsen <[email protected]> authored on 2021/06/29 12:38

Parse , and make xfy do what it should

8fdf0bc6 – Peter Mikkelsen <[email protected]> authored on 2021/06/29 12:28

Fix some parser errors, and accept clauses without a body

02145f06 – Peter Mikkelsen <[email protected]> authored on 2021/06/29 11:51

Add a term parser.

0b36426d – Peter Mikkelsen <[email protected]> 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 :)