支持多种查询语言的演绎数据库系统

• DEDUCTIVE DATABASE SYSTEM WITH MULTI-QUERY-LANGUAGE