From Samuel.Allan@shihad.zzn.com  Wed Aug 30 06:55:04 2000
Received: from c0mailgw02.prontomail.com ([216.163.180.10])
	by swi.psy.uva.nl (8.9.3/8.9.3) with ESMTP id GAA00917
	for <prolog@swi.psy.uva.nl>; Wed, 30 Aug 2000 06:55:03 +0200 (MET DST)
Received: from c2web03 (208.178.29.243) by c0mailgw02.prontomail.com (NPlex 4.5.049)
        id 39AC3DA800008900 for prolog@swi.psy.uva.nl; Tue, 29 Aug 2000 21:54:35 -0700
X-Version: Informail 6.2.2169.0
From: "Samuel Allan" <Samuel.Allan@shihad.zzn.com>
Message-Id: <9538113820E74D11DACC0005B813E913@Samuel.Allan.shihad.zzn.com>
Date: Wed, 30 Aug 2000 16:50:28 +1200
X-Priority: Normal
Content-Type: text/plain; charset=iso-8859-1
To: prolog@swi.psy.uva.nl
Subject: What do these mean?
X-Mailer: Web Based Pronto
Mime-Version: 1.0
Content-Transfer-Encoding: 7bit

I'm a student taking a course in declarative programming, and while I 
have a study guide it doesn't seem to cover a few things.

What does this operator mean?  ->

Why did Richard O'Keefe use the two structures(?) integer(Index) and 
var(Index)?
I'm guessing to check the type of Index.

Could the combination ( integer(Index) -> blah blah ) be to sort of 
nest if statements (like the logical implication might be used)? If 
so, why use "->" instead of ","?

Shihad's Official Website - http://www.shihad.com
____________________________________________________________
Get your own Web-Based E-mail Service at http://www.zzn.com

