Question about prolog-10 syntax

Article View: comp.lang.prolog

Article #2876

#2876

From: Abdul Sattar
Date: Wed, 18 Nov 1987 21:09

11 lines
732 bytes

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

Technical Details

Message-ID: <214@cavell.UUCP>

Path: arc1-ca.pugleaf.net!utzoo!mnetor!uunet!husc6!uwvax!ncc!ers!alberta!abdul

Show Full Headers

Complete Article Headers

Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: arc1-ca.pugleaf.net!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