Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!linus!decvax!harpo!seismo!hao!hplabs!sri-unix!Narain@Rand-Unix
From: Narain@Rand-Unix@sri-unix.UUCP
Newsgroups: net.lang.prolog
Subject: Shorter Solution To The Liars Puzzle
Message-ID: <4016@sri-arpa.UUCP>
Date: Fri, 29-Jul-83 18:40:00 EDT
Article-I.D.: sri-arpa.4016
Posted: Fri Jul 29 18:40:00 1983
Date-Received: Wed, 10-Aug-83 16:56:31 EDT
Lines: 5

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.