New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

fact-like rule using functor #2262

Merged

b-scholz merged 1 commit into souffle-lang:master from quentin:factfunctor

Apr 26, 2022

Member

quentin commented Apr 19, 2022

Hi,
This is a fix of the semantic checker to allow fact-like rules to use functors.

Basically these two rules are equivalent and both should be accepted:

x(a) :- a = @f().  // accepted
x(@f()).   // was not accepted, now fixed


          fact-like rule using functor

b-scholz approved these changes

View reviewed changes

Member

b-scholz left a comment

Thanks for the contribution!

b-scholz merged commit 04a5fb7 into souffle-lang:master

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment