Jorge B. Bocca EDUCE: A Marriage of Convenience: Prolog and a Relational DBMS. 36-45 1986 SLP db/conf/slp/slp86.html#Bocca86