Narain@Rand-Unix@sri-unix.UUCP (07/30/83)
I thought of this one without looking at the solutions that arrived in the last issue. Below we assume "negation as failure", so the "arrows" in clauses are equivalences. Truth is to be interpreted as derivability.