[net.lang.prolog] Database Hacking Ideas In Prolog

Tim.UPenn%Rand-Relay@sri-unix.UUCP (11/07/83)

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