Techniques of Integrating Datalog with PROLOG

Since extending DATALOG to a general-purpose programming language seems very difficult, many projects have embedded a DATALOG-based query language into a procedural host language, such as CORAL, Glue-Nail, etc.Although DATALOG can be considered as function-free PROLOG, they are very different in many aspects. For instance, DATALOG is declarative while PROLOG isn't, DATALoG takes "a-set-at-atime" mode of evaluation but PROLOG takes "a-tuple-at-a-time" one, DATALOG is only a query language whereas PROLOG is a…