It seems to be http://www.cs.mu.oz.au/research/mercury/information/papers.html
Looks pretty interesting. > -----Original Message----- > From: Fergus Henderson [mailto:[EMAIL PROTECTED]] > Sent: Monday, May 06, 2002 3:57 AM > To: [EMAIL PROTECTED] > Subject: Re: [DOTNET-ROTOR] Changes to Rotor > > > 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. >
