HILOG - A FOUNDATION FOR HIGHER-ORDER LOGIC PROGRAMMING

被引：140
作者：
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 [J].
APT, KR ;
VANEMDEN, MH .
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
123456