Abstract
A Powerful New Strategy, Called the Kernel Method, Has Been Developed by Larry Wos and William McCune at Argonne National Laboratories, to Study Various Fixed-Point Properties within Certain Classes of Applicative Systems. We Present a Very Simple Prolog Reasoning System, Named JIST, Which Incorporates Both Stages of the Kernel Method into a Single Unified Program. Furthermore, the Prolog Tool Has Been Extended to Run within a Distributed Environment using the Linda Protocol.
Recommended Citation
R. Rankin and R. W. Wilkerson, "Finding Fixed Point Combinators using Prolog," Proceedings of the ACM Symposium on Applied Computing, pp. 604 - 608, Association for Computing Machinery, Mar 1993.
The definitive version is available at https://doi.org/10.1145/162754.168691
Department(s)
Computer Science
Document Type
Article - Conference proceedings
Document Version
Citation
File Type
text
Language(s)
English
Rights
© 2023 Association for Computing Machinery, All rights reserved.
Publication Date
01 Mar 1993
