Commits

Pierre Carbonnelle committed 0385080 Draft

Edited online

  • Participants
  • Parent commits 2d0bb04

Comments (0)

Files changed (1)

     factorial(N, F) <= (N > 1) & (N1 == N-1) & factorial(N1, F1) & (F == N*F1)
 """)
 }}}
-Expressions can use the 4 operators (+,-,*,/).  Note that equality/comparison predicates must be placed between parenthesis, and that the left hand side of the equality/comparison must be a variable.
+Expressions can use the 4 operators (+,-,*,/).  Note that :
+* equality/comparison predicates must be placed between parenthesis
+* the left hand side of the equality/comparison must be a variable
+* the variables on the right hand side must be [[http://en.wikipedia.org/wiki/Free_variables_and_bound_variables|bound]] (pyDatalog does not solve equations !)
 
 You can use lambda functions in expression. For example:
 {{{