PROLOG—DBMS耦合：半解释半编译的混合式方法

本文介绍了一种混合式 Prolog-DBMS 耦合技术,它既能保持解释方法和编译方法的优点,又能克服其缺点。这种技术使得随时使用关系数据库算子(比如连接算子)成为可能,同时避免了无用数据(即归结过程中不用的数据)的加载.最后,“历史”管理机制保证了同一数据不会被多次加载。