Commits

Pierre Carbonnelle committed a667aa5

version 0.5.0

  • Participants
  • Parent commits 00b996d
  • Tags 0.5.0

Comments (0)

Files changed (3)

 include licence.txt
-include pyDatalog\pyDatalog.lua
 include pyDatalog\test.py

File pyDatalog/grammar.txt

 /* http://railroad.my28msec.com/rr/ui
 */
 datalog_statement ::= ('+' | '-') predicate '(' (constant | python_variable) (',' (constant | python_variable))* ')' 
-  | predicate '(' (variable | constant) (',' (variable | constant))* ')' '<=' (predicate '(' (variable | constant | python_variable) (',' (variable | constant | python_variable))* ')' 
+  | predicate '(' (variable | constant) (',' (variable | constant))* ')' '<=' ( '~' ? predicate '(' (variable | constant | python_variable) (',' (variable | constant | python_variable))* ')' 
   | '(' variable ('<' | '<=' | '==' | '~=' | '>='  | '>') expression ')') 
-    ( '&' (predicate '(' (variable | constant | python_variable)(',' (variable | constant | python_variable))* ')' | '(' variable ('<' | '<=' | '==' | '~=' | '>='  | '>') expression ')' ))*
+    ( '&' ( '~' ? predicate '(' (variable | constant | python_variable)(',' (variable | constant | python_variable))* ')' | '(' variable ('<' | '<=' | '==' | '~=' | '>='  | '>') expression ')' ))*
 expression ::= (constant 
   | python_variable
   | variable 
 setup(
     name = "pyDatalog",
     packages = ["pyDatalog"],
-    version = "0.4.0",
+    version = "0.5.0",
     description = "A pure-python implementation of a subset of prolog, using SLG algorithm with memoization",
     author = "Pierre Carbonnelle",
     author_email = "pierre.carbonnelle@gmail.com",