From L.Kievit@cable.a2000.nl  Sat Sep  2 12:50:17 2000
Received: from smtp1.a2000.nl ([62.108.1.203])
	by swi.psy.uva.nl (8.9.3/8.9.3) with ESMTP id MAA26319
	for <prolog@swi.psy.uva.nl>; Sat, 2 Sep 2000 12:50:16 +0200 (MET DST)
Received: from node1a45e.a2000.nl ([24.132.164.94] helo=node1408)
	by smtp1.a2000.nl with smtp (Exim 2.02 #4)
	id 13VAsN-0002HS-00
	for prolog@swi.psy.uva.nl; Sat, 2 Sep 2000 12:50:19 +0200
Message-ID: <000a01c014cb$be8b7120$0117190a@a2000.nl>
From: "Leen Kievit" <L.Kievit@cable.a2000.nl>
To: "Prolog@Swi. Psy. Uva. Nl (E-mail)" <prolog@swi.psy.uva.nl>
References: <B4CA1F5D8D23D411ADC7009027E791BF1DF4D6@pens0394.cnet.navy.Mil>
Subject: Re: List
Date: Sat, 2 Sep 2000 12:51:26 +0200
MIME-Version: 1.0
Content-Type: text/plain;
	charset="iso-8859-1"
Content-Transfer-Encoding: 7bit
X-Priority: 3
X-MSMail-Priority: Normal
X-Mailer: Microsoft Outlook Express 5.00.2314.1300
X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2314.1300

Given the way you set this up, you should require that Card1 has a lower
StackCard value than Card2 (since that solution will have been found
before).

So:

check_fourteen(Card1,Card2,StackCard1,StackCard2):-
    topcard(Card1,StackCard1),
    topcard(Card2,StackCard2),
    StackCard1 < StackCard2,
    is_fourteen(Card1,Card2).

Didn't test it, but I'm sure it works.


Leen



