News for hackers. Stuff that matters.

A comment on What if we tested laws before passing them?. Parent comment

Re:What if we tested laws before passing them? by rntz on Monday December 13, 2010 @10:35AM (#2000726)
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).
[ Parent | on HN ]
Re:What if we tested laws before passing them? by jgfoot on Monday December 13, 2010 @04:17PM (#2001998)
oh! that explains why my Prolog hacking has been so unsuccessful. Thanks very much.
[ Parent | on HN ]