EDUCE * —a logic programming system for implementing KBMS's