You have your Prolog backwards. foo(X) :- bar(X). means that foo(X) is true if bar(X) is true, not the other way around. So your code would indicate that an

You have your Prolog backwards. foo(X) :- bar(X). means that foo(X) is true if bar(X) is true, not the other way around. So your code would indicate that anything that's not a law is unconstitutional, and anything unconstitutional prohibits free exercise of religion (for example).