Pierre Carbonnelle  committed d13a034 Draft

revert pyEngine.Trace : not working

  • Participants
  • Parent commits d8e4e21

Comments (0)

Files changed (1)

     split(X, Y,Z) <= (X == Y+'-'+Z)
     split(X, Y,Z) <= (Y == (lambda X: X.split('-')[0])) & (Z == (lambda X: X.split('-')[1]))
-from pyDatalog import pyEngine
-pyEngine.Trace = True
-{{{pyEngine.Trace = True}}} activates the Trace mode for debugging of the datalog program: facts discovered by the engine during execution of queries will be shown on the console.  
 The following example illustrates the fact that predicate can be negated and that the depth of recursion is not limited.