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

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

youdao

The deductive database is a combined product of artificial intelligence and database, which possesses functions of data processing and logical inference.

演绎数据库是人工智能与数据库技术结合的产物，它具有数据处理及逻辑推理功能。

youdao

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.

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

youdao