RESTIVO@SU-SCORE.ARPA (07/22/85)
From: Chuck Restivo (The Moderator) <PROLOG-REQUEST@SU-SCORE.ARPA>
PROLOG Digest Monday, 22 Jul 1985 Volume 3 : Issue 33
Today's Topics:
Query - Image Mode & Readers,
Implementation - Cut,
LP Library - PARLOG Update
----------------------------------------------------------------------
Date: Thu 18 Jul 85 15:00:08-EDT
From: Joe Zachary <Zachary@MIT-XX>
Subject: Image Mode
The DEC-10 Prolog manual explains a hack for
forcing Prolog to output characters in image
mode. Does anyone know if a similar hack
exists for the DECSystem-20? I'd rather my
escape characters didn't get translated to
dollar signs.
-- Joe Zachary
------------------------------
Date: Thu 18 Jul 85 09:19:15-EDT
From: Hilton@RADC-TOPS20
Subject: Implementing readers
I am interested in how different Prolog readers
are implemented, and comparisons of the data
structures produced. Is there a general concencus
on what data structure is best (read best as
"fastest") for supporting the inference mechanism?
Consider the VAX 11/780 as the basic architecture
the Prolog will run on.
I have seen many papers written on implementing the
inference mechanism for Prolog, but no discussions
on readers or efficient data structures for clause
storage. If anyone has any references to papers
that discuss these issues, I would appreciate hearing
from you.
Thanks for thinking about it,
-- Mike Hilton
------------------------------
Date: Mon, 15 Jul 85 17:36:00 bst
From: William Clocksin <WFC%computer-lab.Cambridge@ucl-cs>
Subject: Moss's cut tests.
Running Chris Moss' cut tests on my Prolog-X system
(incremental compiler) gave the following results:
Implementation Test 1 2 3 4 5 6
Prolog-X Y Y Y N N N
Note: this is the same as C-Prolog and DEC-10 interpreter.
I can redesign the system in an hour to answer all
the tests Y if you want.
------------------------------
Date: Thu, 11-Jul-85 18:06:00 PDT
From: (Jeremy West) !uts.am.reading.UUCP!west@Seismo
Subject: PARLOG for C-Prolog - list of built-in predicates
Here is a list of built-in predicates for C-Prolog, v1.5,
for systems which don't provide the 'system' predicate as
required by PARLOG (as per addendum sheet i.e. true if arg
if built-in proceedure). You should change the definition
of sys/1 in file 'parlog' to call built_in/1 instead of
system/1.
I think it's complete, if you find any bugs, please let me know.
-- Jerry
[ this is available as SCORE:<Prolog>PARLOG_BUILTIN.PL -ed ]
------------------------------
Date: Thu, 11-Jul-85 22:22:21 PDT
From: (Jeremy West) uts.am.reading.UUCP!west@Seismo
Subject: PARLOG addendum for C-Prolog versions (again)
The built_in/1 predicate I distributed earlier fails
to treat arithmetic predicates correctly. If they are
not expanded (by use of expand_exprs/2 (sometimes
expanded_exprs/2) they will be arguments to is/1. This
was why I commented them out of my earlier posting. If
expanded, however, they are translated into predicates
of the form $<name>/<arity+1>. These will not be
recognised by built_in/1 as it stands.
[ this file is available as SCORE:<Prolog>PARLOG_ADDENDUM.PL
-ed ]
------------------------------
End of PROLOG Digest
********************