summaryrefslogtreecommitdiff
path: root/parser.c
AgeCommit message (Collapse)Author
2021-07-08Implement the full arithmetic part of the ISO spec.Peter Mikkelsen
2021-07-07Make functor/3 work according to specPeter Mikkelsen
2021-07-07Add missing pre defined operators from iso prologPeter Mikkelsen
2021-07-06Group clauses into predicates, and create all valid choicepoints at once. ↵Peter Mikkelsen
This is wastefull if one branch loops forever, but it is much nicer otherwise, since we know the choicepoints only gets created as long as their head is unifiable with the goal.
2021-07-05Turn integers and floats into seperate term typesPeter Mikkelsen
2021-07-05First step on modules. Still very very rough.Peter Mikkelsen
2021-07-03Start adding support for read_term and write_termPeter Mikkelsen
2021-07-02Begin work on set_prolog_flag/2 and current_prolog_flag/2Peter Mikkelsen
2021-06-30Allow the repl to backtrack to give alternative resultsPeter Mikkelsen
2021-06-30Add comparison predicatesPeter Mikkelsen
2021-06-30Add builtins for typetestsPeter Mikkelsen
2021-06-30Add a standard library with the "builtins" that doesn't really need to be ↵Peter Mikkelsen
actual builtins
2021-06-30Give queries another id than clauses, so variable names doesn't clashPeter Mikkelsen
2021-06-30Add a basic replPeter Mikkelsen
2021-06-29Understand :-initialization(Goal) directivePeter Mikkelsen
2021-06-29Add more operatorsPeter Mikkelsen
2021-06-29Make parse return a list of clauses. Also pretty print the entire list of ↵Peter Mikkelsen
clauses.
2021-06-29Parse terms in parenthesis correctlyPeter Mikkelsen
2021-06-29Parse lists and {a,b,c} syntax (What is this even called?)Peter Mikkelsen
2021-06-29Parse , and make xfy do what it shouldPeter Mikkelsen
2021-06-29Fix some parser errors, and accept clauses without a bodyPeter Mikkelsen
2021-06-29Add a term parser.Peter Mikkelsen
2021-06-28Initial commit. Start working on a new prolog implementation for 9front, now ↵Peter Mikkelsen
that I at least have a better understanding of what goes into a compiler :)
generated by cgit v1.2.3 (git 2.25.1) at 2025-10-13 14:59:58 +0000