datalog icon indicating copy to clipboard operation
datalog copied to clipboard

Support variable / term at guard conditions

Open fogfish opened this issue 9 years ago • 0 comments

Guards supports only literals.

h(a,b,c,x,y) :- f(a,b,c),f(x,b,y), a != 1.
h(a,b,c,x,y) :- f(a,b,c),f(x,b,y), a != x.

** exception error: {badmap,{error,{1,datalog_yeec,
                                    ["syntax error before: ",["x"]]}}}

fogfish avatar Aug 28 '16 15:08 fogfish