Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!linus!decvax!harpo!seismo!hao!hplabs!sri-unix!Tim.UPenn@Rand-Relay
From: Tim.UPenn%Rand-Relay@sri-unix.UUCP
Newsgroups: net.lang.prolog
Subject: Database Hacking Ideas In Prolog
Message-ID: <13599@sri-arpa.UUCP>
Date: Mon, 7-Nov-83 11:55:00 EST
Article-I.D.: sri-arpa.13599
Posted: Mon Nov  7 11:55:00 1983
Date-Received: Tue, 15-Nov-83 02:31:10 EST
Lines: 13

From:  Tim Finin <Tim.UPenn@Rand-Relay>

   I have heard about Prolog systems that include facilities to
   partition the database and to control the sections that are
   searched when satisfying goals. Does anybody know of such
   systems ?  ...

One idea is to organize the database into a tree of contexts.  
Retrieval and assert/retract is done with respect to the current 
context.  This scheme was worked out by Sussman and McDermott for
CONNIVER and is also used in McDermott's DUCK language.

-- Tim