HILOG - A FOUNDATION FOR HIGHER-ORDER LOGIC PROGRAMMING

被引：137

作者：

CHEN, WD ^{[1
]}

KIFER, M ^{[1
]}

WARREN, DS ^{[1
]}

机构：

[1] SUNY STONY BROOK,DEPT COMP SCI,STONY BROOK,NY 11794

来源：

JOURNAL OF LOGIC PROGRAMMING | 1993年 / 15卷 / 03期

关键词：

D O I：

10.1016/0743-1066(93)90039-J

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We describe a novel logic, called HiLog, and show that it provides a more suitable basis for logic programming than does traditional predicate logic. HiLog has a higher-order syntax and allows arbitrary terms to appear in places where predicates, functions, and atomic formulas occur in predicate calculus. But its semantics is first-order and admits a sound and complete proof procedure. Applications of HiLog are discussed, including DCG grammars, higher-order and modular logic programming, and deductive databases.

引用

页码：187 / 230

页数：44