Commits

Author Commit Message Labels Comments Date
Pierre Carbonnelle
test negation of conjunctions
Pierre Carbonnelle
make pyDatalog.Variable threads-safe
Pierre Carbonnelle
perf : do not rebase if no parent_class
Pierre Carbonnelle
first iteration for adding thread safety, with example
Pierre Carbonnelle
first version without threading
Pierre Carbonnelle
remove unnecessary import
Pierre Carbonnelle
use OrderedDict instead of OrderedSet for pred.clauses. Key should be improved though.
Pierre Carbonnelle
test for order of clauses for function
Pierre Carbonnelle
test for order of clauses for function
Pierre Carbonnelle
order of clauses for function definition is significant --> use OrderedSet for pred. clauses
Pierre Carbonnelle
add support for format_ in in-line queries
Pierre Carbonnelle
update the description of the result of query, to take pretty printing into account
Pierre Carbonnelle
add format_ function
Pierre Carbonnelle
update grammar for 0.13.0
Pierre Carbonnelle
add test on dates
Pierre Carbonnelle
remove str(VarSymbol)
Pierre Carbonnelle
Full support of functions of functions, and functions of operations.
Pierre Carbonnelle
fix error in precalculations of a function of a function
Pierre Carbonnelle
move parser of pyDatalog program to bottom of file
Pierre Carbonnelle
stop searching when Goal is reached --> hashtag solution in 11 seconds
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
  1. Prev
  2. Next