Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!watmath!clyde!burl!hou3c!hocda!houxm!ihnp4!inuxc!pur-ee!uiucdcs!marcel
From: marcel@uiucdcs.UUCP (marcel )
Newsgroups: net.lang.prolog
Subject: Re: Lamps Puzzle productions - (nf)
Message-ID: <5707@uiucdcs.UUCP>
Date: Fri, 17-Feb-84 22:28:15 EST
Article-I.D.: uiucdcs.5707
Posted: Fri Feb 17 22:28:15 1984
Date-Received: Mon, 20-Feb-84 07:09:00 EST
Lines: 12

#R:uiucdcs:29700020:uiucdcs:29700021:000:329
uiucdcs!marcel    Feb 17 20:03:00 1984

Here's a simpler solution yet:

                     lamp(a,on) -  lamp(a,on)    SOLUTION
                     lamp(b,Y)            lamp(b,off)
lamp(a,X)         /
lamp(b,Y) --
                  \
                     lamp(a,off)          lamp(a,off)   SOLUTION
                     lamp(b,Y)  -  lamp(b,on)