Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

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).


oh! that explains why my Prolog hacking has been so unsuccessful. Thanks very much.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: