Commits

Author Commit Message Labels Comments Date
Carl Friedrich Bolz
start playing with shapes, which are supposed to be a way to store Prolog
Branches
compress-terms
Carl Friedrich Bolz
merge
Branches
jit-playfield
Carl Friedrich Bolz
fix translation
Branches
more-experiments
Carl Friedrich Bolz
try to start jitting from the UserCallContinuation
Branches
jit-playfield
Carl Friedrich Bolz
remove useless line without effect
Carl Friedrich Bolz
small hack to make the JIT save a number of guards
Branches
more-experiments
Carl Friedrich Bolz
improve efficiency: non-dynamic predicates cannot be changed by an assert
Branches
more-experiments
Carl Friedrich Bolz
fix translation
Branches
more-experiments
Carl Friedrich Bolz
can't declare a predicate dynamic after it was defined.
Branches
more-experiments
Carl Friedrich Bolz
whitespace
Branches
more-experiments
Carl Friedrich Bolz
whitespace
Branches
more-experiments
Carl Friedrich Bolz
another passing test
Branches
more-experiments
Carl Friedrich Bolz
implement dynamic/1, make assert respect the dynamic flag.
Branches
more-experiments
Carl Friedrich Bolz
make lookup a more official interface
Branches
more-experiments
Carl Friedrich Bolz
add predicate_indicator as an unwrap_spec
Branches
more-experiments
Carl Friedrich Bolz
change unwrap_predicate_indicator a bit
Branches
more-experiments
Carl Friedrich Bolz
use a prebuilt signature object for matching here
Branches
more-experiments
Carl Friedrich Bolz
make get_engine purely a testing helper
Branches
more-experiments
Carl Friedrich Bolz
whitespace
Branches
more-experiments
Carl Friedrich Bolz
merge
Branches
more-experiments
Carl Friedrich Bolz
add hgignore
Carl Friedrich Bolz
whitespace fixes
Branches
more-experiments
Carl Friedrich Bolz
support :- dynamic ... declarations in the parser.
Branches
more-experiments
Carl Friedrich Bolz
some whitespace changes
Branches
more-experiments
Carl Friedrich Bolz
make the JIT mostly work again
Branches
more-experiments
Carl Friedrich Bolz
implement indexing. this breaks the JIT.
Branches
more-experiments
Carl Friedrich Bolz
support some more things in the parser: {a, b, c} and new atoms, # and &.
Branches
more-experiments
Carl Friedrich Bolz
re-enable op and current_op predicates
Branches
more-experiments
Carl Friedrich Bolz
hrmpf. Make
Branches
more-experiments
Carl Friedrich Bolz
this too belongs to r73290
Branches
more-experiments
  1. Prev
  2. Next