Commits

Author Commit Message Labels Comments Date
Pierre Carbonnelle
support for range_(N) function, tuple_(X, order_by=Y) aggregator
Pierre Carbonnelle
use pyDatalogError instead of assert
Pierre Carbonnelle
use logging module to replace pyEngine.Debug, Trace.
Pierre Carbonnelle
Negation will not bind variables anymore.
Pierre Carbonnelle
minor changes in code style
Pierre Carbonnelle
optimisation : no need to keep looking if THE answer is found already
Pierre Carbonnelle
add hashtag solution using a Python Resolver
Pierre Carbonnelle
add timer to hashtag.py
Pierre Carbonnelle
add 'hashtag' example, and fix unicity of derived functional facts
Pierre Carbonnelle
miscellaneous
Pierre Carbonnelle
minor change
Pierre Carbonnelle
remove circular imports by using util.py
Pierre Carbonnelle
measure performance after 5 sec JIT warm-up time
Pierre Carbonnelle
add arity to unprefixed python resolver. Use python resolver to speed up queens.
Pierre Carbonnelle
simplify id by using counter. remove add_size.
Pierre Carbonnelle
better support for float. Add support for Decimal
Pierre Carbonnelle
align aggregate function names with PEP8 : e.g. _len --> len_ while remaining backward compatible
Pierre Carbonnelle
support for float
Pierre Carbonnelle
Simplify code. No need to create pre_calculations for Operation without Function
Pierre Carbonnelle
improve documentation of pyEngine, using doc.py
Pierre Carbonnelle
improve documentation
Pierre Carbonnelle
Update examples from the tutorial
Pierre Carbonnelle
Raise an error when a unary + or - is before an nequality
Pierre Carbonnelle
ignore negated variables in result set
Pierre Carbonnelle
Result set should only contain values corresponding to variables in the query : do not repeat constants from a query in the result set.
Pierre Carbonnelle
an in-line query returns a result with 1 column per variable --> always create a (temporary) clause for it
Pierre Carbonnelle
support for negative indices in slices (e.g. X[:-1]) in datalog clauses
Pierre Carbonnelle
copy UserList from stdlib so that I can customize it
Pierre Carbonnelle
major redesign of expression evaluation, using subst() for constant folding and providing extended support for list.
Pierre Carbonnelle
Track time of first run of queens.py
  1. Prev
  2. Next