HILOG: A Foundation for Higher-Order Logic Programming

@article{Chen1993HILOGAF,
  title={HILOG: A Foundation for Higher-Order Logic Programming},
  author={W. Chen and M. Kifer and D. Warren},
  journal={J. Log. Program.},
  year={1993},
  volume={15},
  pages={187-230}
}
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… Expand
430 Citations
Predicate Specialization for Definitional Higher-order Logic Programs
  • Highly Influenced
  • PDF
Extensional Higher-Order Logic Programming
  • 19
  • Highly Influenced
  • PDF
Extensional Higher-Order Logic Programming
  • 6
  • PDF
Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction
  • 21
  • PDF
Polymorphic Typesin Higher-Order Logic
  • Highly Influenced
Extensionality of Simply Typed Logic Programs
  • M. Bezem
  • Computer Science, Mathematics
  • ICLP
  • 1999
  • 11
  • Highly Influenced
  • PDF
Tabled higher-order logic programming
  • 38
  • PDF
Semantics and Types in Functional Logic Programming
  • 15
  • PDF
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 87 REFERENCES
The Semantics of Predicate Logic as a Programming Language
  • 1,631
  • PDF
A logic for object-oriented logic programming
  • 102
Contributions to the Theory of Logic Programming
  • 654
  • PDF
On Negation in HiLog
  • K. A. Ross
  • Computer Science, Mathematics
  • J. Log. Program.
  • 1994
  • 26
Logic Programming
  • K. Apt
  • Computer Science
  • Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics
  • 1990
  • 1,712
COL: A Logic-Based Language for Complex Objects
  • 167
  • PDF
Towards a Theory of Declarative Knowledge
  • 1,392
  • PDF
Foundations of Logic Programming
  • 2,986
...
1
2
3
4
5
...