We describe a novel logic, called HiLog, and show that it provides a more suitable basis for logic programming than does traditional predicate logic.

D. We describe a novel logic, called HiLog, and show that it provides a more suitable basis for logic programming than does traditional predicate logic.

Abstract. We describe a novel logic, called HiLog, and show that it provides a more suitable basis for logic programming than does traditional predicate ...

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev. Hosted as a part of SLEBOK on ...

Aug 1, 2018 · HiLog has a higher-order syntax and allows arbitrary terms to appear in places where predicates, functions, and atomic formulas occur in ...

Its distinctive feature, a higher-order syntax with a first-order semantics, allows for efficient implementation with speeds comparable to Prolog. In fact, ...

HiLog is a programming logic with higher-order syntax, which allows arbitrary terms to appear in predicate and function positions.

... first-order multisorted logic that admits a first-order semantics. Informally, by higher-order syntax, logicians mean a language in which variables are ...

We propose a novel logic, called HiLog, which provides a clean declarative semantics to much of this higher-order logic programming. From the outset, even the ...

... HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs. NACLP 1989. 1090-1114. [2] Richard O'Keefe: Draft Proposed Standard for Prolog ...