Showing posts with label logic programming. Show all posts
Showing posts with label logic programming. Show all posts

Thursday, December 22, 2011

Mercury 11.07

The Mercury logic-programming language — which provides Java, Erlang and C# compilations — is now available as 11.07 from http://www.mercury.csse.unimelb.edu.au/download/release.html

No binary downloads are available so *nix requires a GNU C build and Windows requires Cygwin or MSYS.

Both x86-32 and x86-64 are supported.

Sunday, March 27, 2011

Mercury programming

There is a new blog to follow on the Mercury logic programming project: http://adventuresinmercury.blogspot.com/

It has a specific focus and is sure welcome.