## HiLog: A foundation for higher-order logic programming (1993)

Venue: | JOURNAL OF LOGIC PROGRAMMING |

Citations: | 213 - 40 self |

### BibTeX

@ARTICLE{Chen93hilog:a,

author = {Weidong Chen and Michael Kifer and David S. Warren},

title = {HiLog: A foundation for higher-order logic programming},

journal = {JOURNAL OF LOGIC PROGRAMMING},

year = {1993},

volume = {15},

number = {3},

pages = {187--230}

}

### Years of Citing Articles

### OpenURL

### Abstract

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.