Newsgroups: comp.lang.prolog
Path: cantaloupe.srv.cs.cmu.edu!europa.chnt.gtegsc.com!news.sprintlink.net!dish.news.pipex.net!pipex!warwick!bsmail!miki!jwl
From: jwl@miki.cs.bris.ac.uk (John Lloyd)
Subject: Re: functional logic programming
Message-ID: <DB8x1F.B0H@uns.bris.ac.uk>
Sender: jwl@miki (John Lloyd)
Nntp-Posting-Host: miki.cs.bris.ac.uk
Organization: University of Bristol, Dept of Computer Science
References: <hernanda.2.00133920@rex.cs.tulane.edu> <HANUS.95Jun30141759@rea.informatik.rwth-aachen.de> <3t38l9$j21@ns1.hk.linkage.net> <DB6qMB.2xt@uns.bris.ac.uk> <3td8u9$prm@ns1.hk.linkage.net>
Date: Wed, 5 Jul 1995 13:48:51 GMT
Lines: 26

In article <3td8u9$prm@ns1.hk.linkage.net>, apang@hk.linkage.net (Resource Technologies Limited) writes:
|> 
|> Hallo,
|> 
|> 	Could I find also somewhere the compiler/interpreter Escher?
|> 	I only got the paper, but have no compiler to play with...
|> 	Thanks a lot!
|> 
|> Albert
|> apang@hk.linkage.net


Escher currently only has an implementation suitable for a single user (me)
- unless, of course, you enjoy doing the first few phases of compilation in
your head! The current implementation runs all the examples in the report
and many others besides, but it really isn't in a suitable form to be released.

Which brings me to wonder whether there are are people (or groups) out there
who would find the implementation of Escher an interesting and worthwhile 
challenge. The interest in designing and implementing integrated fnl/logic 
languages seems to be growing rapidly and there is certainly great scope for a 
project in this area making a big impact.

Please contact me if you want to pursue this.

John Lloyd
