Path: utzoo!attcan!uunet!mcsun!ariadne!theseas!illusion
From: illusion@theseas (Charalambos N. ATHANASSIOU)
Newsgroups: comp.lang.prolog
Subject: Info on translating functional programming to PROLOG
Keywords: PROLOG, KRC, lambda calculus, Miranda
Message-ID: <837@theseas>
Date: 15 Mar 90 14:15:15 GMT
Organization: National Technical University of Athens
Lines: 23


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)