本文设计并实现了一个二级推理数据库系统。

A two-level deductive database system has bean designed and implemented in their department.

youdao

逻辑程序设计语言hprolog是一种类prolog语言，它将主要作为一种推理数据库的查询语言。

Logic programming language HPROLOG is a prolog-like language. It is mainly a deductive database query language.

youdao

二级推理数据库是传统的数据库系统和PROLOG系统的结合，它可分为二级：数据库级及逻辑程序级。

The two-level deductive database is the amalgamation of a conventional database system and a PROLOG system, which is divided into two levels, the database level and the logic program level.

youdao