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).
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.