An overview of the HORNE logic programming system

ABSTRACT

HORNE is a PROLOG-based logic-programming system embedded in LISP. Programming in HORNE involves a careful mixture of logic programming and LISP programming. Since the summer of 1981, HORNE has been continually evolving from its origin HCPRVR (Chester, 1979). The main implementation is in FRANZ LISP on a VAX; a scaled-down implementation also exists in UCI LISP on a PDP-10. Today, HORNE bears little resemblance to HCPRVR; the primary similarity being the manner of embedding logic in LISP and the LISP-logic interface. This paper conveys the flavor of the current state of the system sacrificing detail and completeness for succinctness and simplicity. After a brief overview of the basic system, this paper highlights those aspects of HORNE that differ from more conventional PROLOG systems. We assume that the reader is familiar with the rudiments of PROLOG and LISP. A more thorough account of the system may be found in the "Horne User's Manual" (Allen and Frisch, 1982).

REFERENCES

• 1: Allen, J. F. and Fisch, A. M. HORNE user's manual. Internal Report, Computer Science Dept. Univ. of Rochester, September, 1982.
• 2: Chester, D. L. Using HCPRVR. Internal Report, Dept. of Computer Science, Univ. of Texas at Austin, August, 1979.
• 3: Alan Mark Frisch, Knowledge retrieval as specialized inference (artificial intelligence, sorted logic), 1986
• 4: Komorowski, H. J. QLOG - The software for PROLOG and logic programming. In K. Clark and S. A. Tarnlund (Eds.), Logic programming. New York: Academic Press, 1982.
• 5: Reiter, R. An approach to deductive question-answering. Report No. 3649, Bolt Beranek and Newman, September, 1977.
• 6: Robinson, J. A. and Sibert, E. E. The LOGLISP's users manual. Technical Report, School of Computer and Information Science, Syracuse Univ., December, 1981.
• 7: Warren, D. H. D. Implementing PROLOG - compiling predicate logic programs. Research Reports 39 and 40, Dept. of Artificial Intelligence, Univ. of Edinburgh, 1977.