Skip to content

Support variable / term at guard conditions #4

@fogfish

Description

@fogfish

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"]]}}}

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions