A high-order logic programming framework for complex objects reasoning

[1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference Pub Date : 1989-09-20 DOI:10.1109/CMPSAC.1989.65170

Qiming Chen

引用次数: 3

Abstract

The theoretical foundations of a strongly typed high-order rule language, HILOG, are developed by introducing appropriate mathematical concepts to reformulate the logic programming (LP) notions. This work is significant for enhancing the LP capability to support object orientation, ADT, and knowledge representation with type hierarchies and for applying LP and deductive database techniques to practical applications involving complex objects.<>

查看原文本刊更多论文

一个用于复杂对象推理的高阶逻辑编程框架

强类型高阶规则语言HILOG的理论基础是通过引入适当的数学概念来重新表述逻辑编程(LP)概念而发展起来的。这项工作对于增强LP支持面向对象、ADT和具有类型层次结构的知识表示的能力，以及将LP和演绎数据库技术应用于涉及复杂对象的实际应用具有重要意义。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

[1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference

自引率

0.00%

发文量