PROLOG-REQUEST@SU-SCORE.ARPA (Chuck Restivo, The Moderator) (09/25/86)
PROLOG Digest Thursday, 25 Sep 1986 Volume 4 : Issue 54
Today's Topics:
Query - DBMS Examples,
Implementation - Cut & Metacall,
LP Library - GProlog Source
----------------------------------------------------------------------
Date: Thu, 28 Aug 86 14:51 EDT
From: Tim Finin <Tim@cis.upenn.edu>
Subject: Prolog DBMS
I got the following request from a colleague who is
teaching our database course. I have a very small
example which shows how to do a few DB-type things
in Prolog, but I suspect there are much better things
around. Does anyone have a suggestion?
Thank you.
-- Tim.
From: Susan Davidson <Susan@upenn> on Thu 28 Aug 1986 at 11:47
Subj: Prolog and Databasese
Tim,
I am trying to find interesting software for the database course,
and was wondering what we had in the way of a "prolog database"
type system. Do we have anything like this (you might consider
it a Prolog knowledge base system)? Or is it enough for novices
to just write little Prolog programs and write the assertions to
stable storage?
-- SBD
------------------------------
Date: Wed 24 Sep 86 10:12:37-PDT
From: Fernando Pereira <PEREIRA@SRI-CANDIDE.ARPA>
Subject: Cut and metacall
I think Norbert Lindenberg is reading too much into the results
he got from various call/metacall/disjunction/cut tests in
C-Prolog. Some of the differences he got are just bugs in the
way cut is handled in some complicated situations. These bugs
could be solved in a systematic way by modifying the
implementation of cut in C-Prolog, but nobody has got around to
doing it.
The basic question about metacall is whether it is like a macro
call (textual replacement) or like a call to an anonymous procedure.
I prefer the latter. Then is clear that cuts in the term the
metacalled variable is bound to should have no effect outside the
metacall. Different behavior in C-Prolog is just buggy, not a proof
of some deep conceptual differences.
-- Fernando Pereira
------------------------------
Date: Wed 24 Sep 86 18:04:52-PDT
From: Chuck Restivo <Restivo@SU-SCORE.ARPA>
Subject: GProlog source
[cwr]
There is a copy of Barry Brachman's graphics for the
Sun that was announced in V4 No.52 under
SCORE:PS:<Prolog>GProlog.C
If anyone cannot FT the file, send a note to Prolog-Request.
-- ed
------------------------------
End of PROLOG Digest
********************