Path: utzoo!yunexus!geac!syntron!jtsv16!uunet!mcvax!prlb2!kulcs!bimbart
From: bimbart@kulcs.uucp (Bart Demoen)
Newsgroups: comp.lang.prolog
Subject: prolog tutorial seattle
Message-ID: <1429@kulcs.kulcs.uucp>
Date: 6 Sep 88 11:54:02 GMT
Article-I.D.: kulcs.1429
Reply-To: bimbart@kulcs.UUCP (Bart Demoen)
Organization: Katholieke Universiteit Leuven, Dept. Computer Science
Lines: 19

Tutorial No:8 of LP'88 Seattle (R. O'Keefe) makes 'interesting' reading, but
be careful: some topics depend heavely on the Prolog system at hand;
here is an example:

Section 9 p.107 is about meta-interpreters that can handle the ! cut.
The proposal is to represent clauses as

	rule(Head,Goals_before_cut,Cut,Goals_after_cut) .

and base the interpreter on this representation.
This only works if the ! inside the metacall (call/1) does not cut outside
the metacall, and that's something implementations do not agree on.

bimbart@kulcs.uucp
Bart Demoen
Dept. of Computer Science
Celestijnenlaan 200A
B-3030 Leuven
Belgium