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