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)