From digimedia@chello.nl  Tue Oct 17 17:30:44 2000
Received: from amsmta05-svc.chello.nl (mail-out.chello.nl [213.46.240.7])
	by swi.psy.uva.nl (8.9.3/8.9.3) with ESMTP id RAA28183
	for <prolog@swi.psy.uva.nl>; Tue, 17 Oct 2000 17:30:44 +0200 (MET DST)
Received: from RABMAS ([213.93.80.199]) by amsmta05-svc.chello.nl
          (InterMail vK.4.02.00.10 201-232-116-110 license 486e3e8b84e68b7a960c434bf7c33974)
          with SMTP id <20001017153217.JRKH9279.amsmta05-svc@RABMAS>
          for <prolog@swi.psy.uva.nl>; Tue, 17 Oct 2000 17:32:17 +0200
From: "F.G. van DORP" <digimedia@chello.nl>
To: prolog@swi.psy.uva.nl
Subject: Directional programs in SWIPL ?
Date: Tue, 17 Oct 2000 17:31:41 +0200
Message-ID: <e4sousotkf2vt73n3addnjhj1jqo8rd3jc@4ax.com>
X-Mailer: Forte Agent 1.8/32.548
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 8bit
X-MIME-Autoconverted: from quoted-printable to 8bit by swi.psy.uva.nl id RAA28183


Is it possible to write directional "functions" in SWI-Prolog, where only
the "return" variables (Rn's below, the Vn's must be ground) can be
written to, e.g.:

  p1(V1, V2, ..., R1)  :-  p2(..., R2), p3(..., R2, ..., R3), ..., pn(..., R1).

and ,if so, would there be a performance bonus (I just can't seem to
find any mode declaration options in the manual or am I missing the
obvious here) ?

Thanks,
Bob.
=============

