summaryrefslogtreecommitdiff
path: root/stdlib.pl
AgeCommit message (Collapse)Author
2021-07-22Make predicates private and static by default, and make them dynamic when ↵Peter Mikkelsen
using the dynamic/1 predicate
2021-07-20Add a new work in progress loader to load all user defined modulesPeter Mikkelsen
2021-07-20Add op/3 and current_op/3Peter Mikkelsen
2021-07-19More work on streamsPeter Mikkelsen
2021-07-16Implement a bit more of prolog flag predicates set_prolog_flag/2 and ↵Peter Mikkelsen
current_prolog_flag/2
2021-07-16Add character input/outputPeter Mikkelsen
2021-07-16Make operators local to each module, and implement some more correct ↵Peter Mikkelsen
prettyprint code, used by write_term
2021-07-15Make read_term understand the three read options:Peter Mikkelsen
variables(Vars), variable_names(VarNames), singletons(Singles) as required per the ISO standard
2021-07-13Add atom_concat/3Peter Mikkelsen
2021-07-13Implement sort/2 and setof/3Peter Mikkelsen
2021-07-11Using member and then cut always picks the first element anyways, so just ↵Peter Mikkelsen
pick it with = instead
2021-07-11Try to implement bagof/3, but I am not 100% sure it is correctPeter Mikkelsen
2021-07-10Add findall/3 implemented in prologPeter Mikkelsen
2021-07-09Add asserta/1, assertz/1, retract/1, abolish/1 (and retract_one/1, which is ↵Peter Mikkelsen
retract/1 but doesn't backtrack)
2021-07-08Add current_predicate/1 builtinPeter Mikkelsen
2021-07-08Add clause/2 predicatePeter Mikkelsen
2021-07-08Add arithmetic comparison predicatesPeter 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-05First step on modules. Still very very rough.Peter Mikkelsen
2021-07-03Start adding support for read_term and write_termPeter Mikkelsen
2021-07-02Start work on input/output streamsPeter Mikkelsen
2021-07-01Add standard error predicatesPeter Mikkelsen
2021-07-01Add exceptions :) implement catch/3 and throw/1Peter Mikkelsen
2021-07-01Start implementation of is/2Peter Mikkelsen
2021-06-30Add length/2 and member/2Peter Mikkelsen
2021-06-30Allow the repl to backtrack to give alternative resultsPeter Mikkelsen
2021-06-30Add comparison predicatesPeter Mikkelsen
2021-06-30Add a standard library with the "builtins" that doesn't really need to be ↵Peter Mikkelsen
actual builtins
generated by cgit v1.2.3 (git 2.25.1) at 2025-10-13 19:53:54 +0000