Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.3 4.3bsd-beta 6/6/85; site ucbvax.BERKELEY.EDU
Path: utzoo!decvax!ittatc!dcdwest!sdcsvax!ucbvax!ailist
From: SCHOLZ@SU-SUSHI.ARPA (Karin Scholz)
Newsgroups: mod.ai
Subject: Seminar - A Storage Manager for Prolog (SU)
Message-ID: <12182623587.45.SCHOLZ@SU-SUSHI.ARPA>
Date: Tue, 11-Feb-86 19:30:05 EST
Article-I.D.: SU-SUSHI.12182623587.45.SCHOLZ
Posted: Tue Feb 11 19:30:05 1986
Date-Received: Fri, 14-Feb-86 00:15:14 EST
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The ARPA Internet
Lines: 30
Approved: ailist@sri-ai.arpa

From: Karin Scholz <SCHOLZ@SU-SUSHI.ARPA>


this is a correction to the colloquium notice for this week:

Database Seminar CS 545, Friday Feb 14, 3:15pm, mjh352


  Persistent Prolog: A Secondary Storage Manager for Prolog

           Peter M D Gray
           University of Aberdeen, Scotland


            ABSTRACT OF TALK

 The talk will describe a general purpose "tight coupling" system based on a
C-Prolog interpreter interfaced to a "Persistent Heap" database, which
can store a wide variety of data types and objects.  We are
currently extending Prolog to allow definitions of modules and Abstract
Data Types.  This provides a disciplined way of accessing frame structures,
bit maps, attached procedures and other non-Prolog objects.
  With this system we are able to use Prolog to maintain an evolving
knowledge base on disc.  Prolog clauses and data structures are
manipulated in memory in the usual way, but migrate to disc on a
"commit" step.
  This work is part of the U.K. "Alvey" program in IKBS


-------