SCHOLZ@SU-SUSHI.ARPA (Karin Scholz) (02/12/86)
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
-------