Faustus%UCBCory%Berkeley@sri-unix.UUCP (11/03/83)
From: Faustus%UCBCory@Berkeley (Wayne A. Christopher) 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 ? If not, does anybody have any ideas on who such a thing should be implemented ? My idea is to have predicates to create and remove database "modules", and to specify which ones are to be searched and which one newly entered clauses are to be inserted. The advantages I can see from this are more control over evaluation, and faster searching of very large databases where the program will be able to tell where the data it wants will be. Does anyone have any more advantages to this scheme, disadvantages, or other comments ? -- Wayne Christopher