From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 1014db,a03ae7f4e53958e1
X-Google-Attributes: gid1014db,public
X-Google-Thread: 1094ba,a03ae7f4e53958e1
X-Google-Attributes: gid1094ba,public
X-Google-Thread: 109fba,a03ae7f4e53958e1
X-Google-Attributes: gid109fba,public
X-Google-Thread: 114809,a03ae7f4e53958e1
X-Google-Attributes: gid114809,public
X-Google-Thread: 10d15b,328622178ec8b832
X-Google-Attributes: gid10d15b,public
X-Google-Thread: 103376,8775b19e3c68a5dc
X-Google-Attributes: gid103376,public
X-Google-Thread: 111d6b,328622178ec8b832
X-Google-Attributes: gid111d6b,public
From: "Nick Roberts" <Nick.Roberts@dial.pipex.com>
Subject: Re: Back to the topic of CS students. (was Re: Philosophers)
Date: 1998/02/10
Message-ID: <01bd3642$9d479ee0$LocalHost@xhv46.dial.pipex.com>#1/1
X-Deja-AN: 323791947
Content-Transfer-Encoding: 7bit
References: <34a991f0.2379476@news.diac.com> <S%ey.2$X41.166@nnrp2.ptd.net>
 <Pine.LNX.3.95. <34cd2808.10685219@newsroom.tassie.net.au>
 <6ankdf$5h8@clarknet.clark.net> <01bd2c40$b62837a0$7261b693@HP5079Q>
 <34CFDD2F.4621@erols.com> <34DF351D.7F5D37E1@stopspamiinet.net.au>
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Organization: UUNet UK server (post doesn't reflect views of UUNet UK)
Newsgroups: 
 comp.lang.java.misc,comp.lang.c,comp.lang.c++,comp.lang.fortran,comp.lang.cobol,comp.lang.smalltalk,comp.lang.ada
Date: 1998-02-10T00:00:00+00:00
List-Id: <comp.lang.ada>


prolog_student(S) :-
	university(U),
	has_course(U,C),
	is_CS_course(C),
	student(S),
	attends_course(S,C),
	has_old_time_prof(C,OTP),
	not was_at_caltech(OTP),
	(was_at_Edinburgh(OTP);
		was_at_UMadrid(OTP);
		was_at_UPrague(OTP)),
	has_relaxed_pricipal(U).

?- prolog_student(X).
no (more) answers