The Closest World Assumption Limitation due to database incompleteness. The Prolog not operator is not equivalent to a logical NOT operator. Intrinsic Limitations Generation of efficient algorithms. Applications of Logic Programming C11.8.1. Relational Database Management Systems Relational calculus is a form of symbolic logic.
Query languages based on relational calculus are nonprocedural.
Simple tables of information can be described by Prolog structures, and relationships between tables can be described by Prolog rules. The retrieval process is inherent in the resolution operation. Prolog can replace the DDL, DML, and Query Language which are usually embedded in an imperative language. Deductive capability is an advantage but logical inferences take longer than ordinary table look-up methods. Expert Systems Expert systems consists of a database of facts, an inferencing process, some heuristics about the domain, and some friendly human interface.