Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!uunet!husc6!uwvax!ncc!ers!alberta!abdul
From: abdul@alberta.UUCP (Abdul Sattar)
Newsgroups: comp.lang.prolog
Subject: Question about prolog-10 syntax
Message-ID: <214@cavell.UUCP>
Date: Wed, 18-Nov-87 16:09:31 EST
Article-I.D.: cavell.214
Posted: Wed Nov 18 16:09:31 1987
Date-Received: Sun, 22-Nov-87 10:54:42 EST
Organization: U. of Alberta, Edmonton, AB
Lines: 11

Following clause appears on page number 208 of ALGORITHMIC PROGRAM DEBUGGING
by Ehud Y. Shapiro:

forall(X,P,Y) <- 
	setof(Y,X^P,S), forall1(S).

Note: the symbol ^ is an arrow pointing upwards.

Will somone explain me the meaning of this symbol?

abdul@alberta.UUCP