Finding fixed point combinators using Prolog

Apowerfdncw atmtcgy, calkdtbckcmcl method, haabeen developed by Laq’ Wos and WMcCunc at Argonne National Laboratories, to StUdyvarious tkcd point pmpcrtks within _ classes of applicative systems. We present a vsimpk -log reasoning $y~, named JIST, which incorporates both stages of the kernel method into a s“mgk lmiiicd program. Furthermore, the prolog tool has been extended to run within a distriiutcd emimnmcnt using the Linda protocol.