Newsgroups: comp.lang.prolog
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news4.ner.bbnplanet.net!news3.near.net!paperboy.wellfleet.com!news-feed-1.peachnet.edu!gatech!howland.reston.ans.net!agate!library.ucla.edu!ihnp4.ucsd.edu!munnari.oz.au!cs.mu.OZ.AU!lee
From: lee@cs.mu.OZ.AU (Lee Naish)
Subject: Re: functional logic programming
Message-ID: <9519111.9030@mulga.cs.mu.OZ.AU>
Originator: lee@munta.cs.mu.OZ.AU
Keywords: logic programming
Sender: news@cs.mu.OZ.AU (CS-Usenet)
Reply-To: lee@cs.mu.OZ.AU (Lee Naish)
Organization: Computer Science, University Of Melbourne, Australia
References:  <hernanda.2.00133920@rex.cs.tulane.edu>
Date: Mon, 10 Jul 1995 01:13:41 GMT
Lines: 9


In article <hernanda.2.00133920@rex.cs.tulane.edu>, hernanda@rex.cs.tulane.edu (Arturo Hernandez-Aguirre) writes:
>   Who knows a working implementation of a functional logic 
> languagefor the PC?.

Have you looked at http://www-i2.informatik.rwth-aachen.de/hanus/FLP/implementations.html
There are pointers to several implementations there.  I don't know if any run on a PC but you could modify NUE-Prolog (http://www.cs.mu.oz.au/~lee/papers/eq/index.html) to run on a PC-based Prolog system quite easily (the distributed version uses NU-Prolog).

	lee
