Finding Fixed Point Combinators using Prolog

Richard Rankin; Ralph W. Wilkerson

doi:10.1145/162754.168691

Finding Fixed Point Combinators using Prolog

Richard Rankin
, Ralph W. Wilkerson

Computer Science

Research output: Contribution to journal › Article › peer-review

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.

Original language	American English
Journal	Proceedings of the ACM Symposium on Applied Computing
DOIs	https://doi.org/10.1145/162754.168691
State	Published - Mar 1 1993

Disciplines

Computer Sciences

Access to Document

10.1145/162754.168691License: Unspecified

Finding Fixed Point Combinators using PrologFinal published version, 646 KBLicense: Unspecified

Cite this

@article{54a647d2bff445f88a9821acd993cfbd,

title = "Finding Fixed Point Combinators using Prolog",

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.",

author = "Richard Rankin and Wilkerson, \{Ralph W.\}",

year = "1993",

month = mar,

day = "1",

doi = "10.1145/162754.168691",

language = "American English",

journal = "Proceedings of the ACM Symposium on Applied Computing",

}

TY - JOUR

T1 - Finding Fixed Point Combinators using Prolog

AU - Rankin, Richard

AU - Wilkerson, Ralph W.

PY - 1993/3/1

Y1 - 1993/3/1

N2 - 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.

AB - 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.

UR - https://scholarsmine.mst.edu/comsci_facwork/1272

U2 - 10.1145/162754.168691

DO - 10.1145/162754.168691

M3 - Article

JO - Proceedings of the ACM Symposium on Applied Computing

JF - Proceedings of the ACM Symposium on Applied Computing

ER -

Finding Fixed Point Combinators using Prolog

Abstract

Disciplines

Access to Document

Other files and links

Fingerprint

Cite this