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

共 58 条

[1] ABITEBOUL S, 1987, SEP P WORKSH DAT PRO, P253
[2] ABRAMSON H, 1988, 5TH P INT C S LOG PR, P233
[3] [Anonymous], SYMBOLIC LOGIC MECHA
[4] [Anonymous], 1988, FDN DEDUCTIVE DATABA
[5] CONTRIBUTIONS TO THE THEORY OF LOGIC PROGRAMMING
APT, KR
VANEMDEN, MH
[J]. JOURNAL OF THE ACM, 1982, 29 (03) : 841 - 862
[6] Apt Krzysztof R, 1988, FDN DEDUCTIVE DATABA, P89, DOI [10.1016/B978-0-934613-40-8.50006-3, DOI 10.1016/B978-0-934613-40-8.50006-3]
[7] BERRI C, 1987, SETS NEGATIONS LOGIC
[8] CHEN W, 1987, 1987 P S LOG PROGR S, P24
[9] CHEN W, 1989, MAR P ACM SIGACT SIG, P369
[10] CHEN W, 1992, 92CSE7 SO METH U DEP

← 1 2 3 4 5 6 →