🚀 go-pugleaf

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
********************