EDUCE——一种权宜的结合：Prolog与理性数据库管理系统

EDUCE-A marriage of convenience: Prolog and a rational DBMS