illusion@theseas (Charalambos N. ATHANASSIOU) (03/15/90)
Dear PROLOG users, does anyone knows of any examples on translating functional programming as KRC or ML or Mirada or DAPLEX or simple lambda calculus in PROLOG ? In particular I'm interested in translating a lazy evaluation language in PROLOG and I'm searching for any good ideas Please reply to me by e-mail and I'll post a summary to this newsgroup. Many Thanks in advance, Charalambos N. ATHANASSIOU -- Charalambos N. ATHANASSIOU E-mail: c/o Prof. Spyros Tzafestas UUCP: mcvax!ariadne!theseas!illusion Intelligent Robotics & InterNet: illusion%theseas.uucp@uunet.UU.NET Control Unit (IRCU)
narain@randvax.UUCP (Sanjai Narain) (03/19/90)
The LOG(F) system is based upon translating a first-order, lazy functional language into efficient Prolog. It is shown how the SK rules of combinatory logic can be expressed in this language. Thus, there is a basis for lazily reducing expressions in a higher-order functional language, using Prolog. Papers on it and the software can be obtained upon request from me. Regards. Sanjai Narain