From waseem@isk.kth.se  Tue Mar 21 13:12:16 2000
Received: from isett.isk.kth.se (root@isett.isk.kth.se [130.237.209.11])
	by swi.psy.uva.nl (8.9.3/8.9.3) with ESMTP id NAA11201
	for <prolog@swi.psy.uva.nl>; Tue, 21 Mar 2000 13:12:15 +0100 (MET)
Received: from isk.kth.se (waseem-pc1.isk.kth.se [130.237.209.186])
	by isett.isk.kth.se (8.9.3/8.9.3) with ESMTP
	id NAA05287 for <prolog@swi.psy.uva.nl>;
	Tue, 21 Mar 2000 13:12:19 +0100 (MET)
Message-ID: <38D76853.F569780F@isk.kth.se>
Date: Tue, 21 Mar 2000 13:17:23 +0100
From: Waseem Besada <waseem@isk.kth.se>
X-Mailer: Mozilla 4.7 [en] (WinNT; I)
X-Accept-Language: en
MIME-Version: 1.0
To: prolog@swi.psy.uva.nl
Subject: setof
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit


Hi,

Why ?-setof(X,course(_,_,X),L). does not give a sorted list L of teachx
from the following facts.

course(java,time(monday,10,12),name(teach1)).
course(prog, time(friday,13,15), name(teach2)).
course(math, time(thrusday,8,10), name(teach3)).
course(c,time(wednesday,13,15), name(teach2)).
course(prolog, time(friday,10,12), name(teach4)).

Regards,
Waseem




