On 27-Apr-2002, Andrew Stopford <[EMAIL PROTECTED]> wrote:
> Thats very exciting to hear, one of the languages I have been looking at
> porting to the CLR/CLI is Prolog.

You may be interested in the following papers, which contain some
information about compiling logic programming languages to the CLR.

     * Compiling Mercury to high-level C code
       Fergus Henderson and Zoltan Somogyi
       Proceedings of the 2002 International Conference on Compiler
       Construction, Grenoble, France, April 2002.

     * Compiling Mercury to the .NET Common Language Runtime
       Tyson Dowd, Fergus Henderson, and Peter Ross
       BABEL'01 First International Workshop on Multi-Language
       Infrastructure and Interoperability, Firenze, Italy, September
       2001. Preliminary Proceedings pages 70-85. To appear in Electronic
       Notes in Theoretical Computer Science 59.1.

These papers are also available from the Mercury web site,
at <http://www.cs.mu.oz.au/mercury/information/papers/>.

--
Fergus Henderson <[EMAIL PROTECTED]>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.

Reply via email to