Prolog and deductive databases

摘要

The logic programming language Prolog has been shown to be a very suitable language for implementing database concepts. However, current Prolog implementations are limited, and the database examples used have all consisted of relatively small sets of clauses. The reason for this is that existing Prolog implementations do not scale up to handle large databases. This paper describes a project whose aims are to develop the links between logic programming and databases. The prime aim is to develop a Prolog system which is capable of handling large sets of clauses. The second aim is to implement a deductive database management system in Prolog, while a third is to evaluate the effectiveness of parallel logic languages for implementating database applications.