[eclipse-users] Simple question on example in Tutorial

From: Lutz, Charles D <charles.d.lutz_at_...53...>
Date: Wed, 02 May 2007 15:43:41 -0400
Hi folks,


I'm looking at the example for "Call" (Section 3.7.3 of "A Tutorial

v 21 Apr 2007) and I'm missing the point about how this defines


X ; Y :- call(X).

X ; Y :- call(Y).


Each of these disjunction clauses seems to be formed by two other

one just being "X" and the other being the implication of Y by either a

or call(Y).


Or is it that the entire "left side" ("X ; Y", for example) is implied
by the right

side? As I am fairly new to ECLiPSe / Prolog, something of the syntax

escapes me. Any further explanation would be greatly appreciated.  From

different text I thought I recalled that Prolog "Head :- Body" clauses
are Horn

clauses, so there should only be one structure in the Head, but I could





Chuck Lutz

Lockheed Martin

Systems of Systems Engineering

BMC4I Modeling and Simulation

Moorestown, NJ

(856)638-7234 (office)



"A graphic is never an end in itself; it is a moment

in the process of decision making."
     - Jacques Bertin

Received on Wed May 02 2007 - 20:44:08 CEST

This archive was generated by hypermail 2.3.0 : Tue Aug 20 2019 - 00:14:49 CEST