Commits

Author Commit Message Labels Comments Date
Pierre Carbonnelle
define and use subgoal.is_done.
Pierre Carbonnelle
Minor changes
Pierre Carbonnelle
remove obsolete Fast option
Pierre Carbonnelle
use thunking for aggregate. Simplify negation.
Pierre Carbonnelle
various fixes in examples
Pierre Carbonnelle
small fixes
Pierre Carbonnelle
fix rule(subgoal, clause, selected) for partial literals
Pierre Carbonnelle
pretty print the result of in-line queries
Pierre Carbonnelle
support for the len_ function (not the aggregate operator)
Pierre Carbonnelle
remove some dead code
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
  1. Prev
  2. Next