Maybe, but that's known as a "failure-driven loop", in Prolog parlance, so it's still not clear to me how "success is represented as a logical false". Also, "f

Maybe, but that's known as a "failure-driven loop", in Prolog parlance, so it's still not clear to me how "success is represented as a logical false". Also, "false/0" is extra logical.