Commits

Author Commit Message Labels Comments Date
David Schneider
implement statistics builtin with support for runtime and walltime base on the python time module
Branches
continuation-based
David Schneider
Merge branch 'special_classes'
Branches
continuation-based
Carl Friedrich Bolz
try to make the target JIT-friendly. fails to translate with the JIT though, for
Branches
continuation-based
Carl Friedrich Bolz
fix typo, re-enable consult
Branches
continuation-based
Carl Friedrich Bolz
deal with callables consistenly here
Branches
continuation-based
Carl Friedrich Bolz
make the new classes more JIT-friendly
Branches
continuation-based
Carl Friedrich Bolz
- don't trail variables that have been created since the last choice point
Branches
continuation-based
David Schneider
Translation related changes
Branches
continuation-based
David Schneider
Refactored cmp_standard order to instance methods and
Branches
continuation-based
David Schneider
Replace calls to atom contructor with factory method calls
Branches
continuation-based
David Schneider
Replace calls to Atom.newatom with factory method calls
Branches
continuation-based
David Schneider
Replace calls to Term constructor with factory method calls
Branches
continuation-based
David Schneider
Add factory method to callable to create terms an Atoms
Branches
continuation-based
David Schneider
Refactor name and signarture fields of callable into methods, implemented by each subclass
Branches
continuation-based
David Schneider
Refactor atom_concat to use new continuations
Branches
continuation-based
David Schneider
(cfbolz, david) Refactored term and atom unification to share code
Branches
continuation-based
David Schneider
Refactor translated main to work with new continuations and some minor changes for the translation to work
Branches
continuation-based
David Schneider
Provide an interface to access term arguments to avoid accessing the internal array directly
Branches
continuation-based
David Schneider
Refactor translated main to work with new continuations and some minor changes for the translation to work
Branches
continuation-based
David Schneider
Make interactive interpreter work with the new continuations
Branches
continuation-based
David Schneider
Remove prolog.interpreter.engine module and replace it with prolog.interpreter.continuation
Branches
continuation-based
Carl Friedrich Bolz
need a heap argument here
Branches
continuation-based
Carl Friedrich Bolz
if the head is an atom, use None as the head args
Branches
continuation-based
David Schneider
(cfbolz, david) Fix throwing type errors
Branches
continuation-based
Carl Friedrich Bolz
this test behaves funnily
Branches
continuation-based
David Schneider
Remove all LinkedRules calls
Branches
continuation-based
David Schneider
Merge Rule und LinkesRules classes and move Rule to function module
Branches
continuation-based
Carl Friedrich Bolz
A number of changes:
Branches
continuation-based
David Schneider
(cfbolz, david) Mark unimportant tests as xfail
Branches
continuation-based
David Schneider
(cfbolz, david) Fix a test
Branches
continuation-based
  1. Prev
  2. Next