title: Why doesn't gnu prolog support the "false" predicate? (I've changed to swi)
body: <p>I've been using the gprolog thingy to do some things in prolog. But now when testing some more code I discovered that it does not support "false". Which is supported by swi? </p>