Commits

Show all
Author Commit Message Labels Comments Date
Pierre Carbonnelle
simplify a bit by in-lining get_id(literal)
Tags
0.14.0
Pierre Carbonnelle
add IPython notebook for tutorial
Pierre Carbonnelle
f[constant1]=constant2 should create a fact, not a clause
Pierre Carbonnelle
support for exponentials
Pierre Carbonnelle
create_atoms --> create_terms
Pierre Carbonnelle
small fixes before final release
Pierre Carbonnelle
version = release candidate 0.14.0
Pierre Carbonnelle
simplify
Pierre Carbonnelle
fix confusion between False and 0 in pyEngine.Const
Pierre Carbonnelle
fix confusion between True and 1 in pyEngine.Const
Pierre Carbonnelle
Fix ask("X==False")
Pierre Carbonnelle
Fix variable extraction in unsafe in-line queries
Pierre Carbonnelle
completely remove temporary query predicates after evaluation.
Pierre Carbonnelle
don't atomize generator function for now
Pierre Carbonnelle
support for A.ok(X, Y) in python 3. Must Use X.ok(Y) in python 2.
Pierre Carbonnelle
compatibility fix for pypy
Pierre Carbonnelle
Start the resolution of function by its last clause. Adapt factorial example accordingly.
Pierre Carbonnelle
can assert fact for prefixed predicates, after all
Pierre Carbonnelle
create_atoms can now give Datalog capabilities to modules, classes and functions, for use in logic expressions
Pierre Carbonnelle
rename methods to avoid name conflicts with end program
Pierre Carbonnelle
Cannot assert a fact for a prefixed predicate. Add more tests.
Pierre Carbonnelle
resolve ambiguous X.b(Y) as Expression or Literal, depending on context
Pierre Carbonnelle
transform (expression==f[X]) into (f[X]==expression)
Pierre Carbonnelle
support for X.method(Y). Avoid name conflicts.
Pierre Carbonnelle
direct access to the attribute of a variable in expressions : X.b, X.b[1]
Pierre Carbonnelle
Add pre-term to prefixed literal, in preparation for X.a[1]==Y, where X is a variable
Pierre Carbonnelle
minor clean up
Pierre Carbonnelle
update description
Pierre Carbonnelle
add the multi-threaded MultiModel example. Fix bugs of crosstalk between threads.
Pierre Carbonnelle
Logic(True) now returns the logic in the current thread. Logic() reinitializes it.
  1. Prev
  2. Next