tool: mercury
-
Language:
|
mercury
|
|---|
-
Version:
|
0.9.1
|
|---|
-
Parts:
|
compiler(->C), library, run-time, profiler, documentation,
GUI interface (tcl/tk + openGL), examples
|
|---|
-
Description:
|
The Mercury programming language.
Mercury is a new logic/functional programming language,
which combines the clarity and expressiveness of
declarative programming with advanced static analysis
and error detection features. Its highly optimized
execution algorithm delivers efficiency far in excess of
existing logic programming systems, and close to
conventional programming systems. Mercury addresses the
problems of large-scale program development, allowing
modularity, separate compilation, and numerous
optimization/time trade-offs.
|
|---|
-
Keywords:
|
mercury, programming language, logic, functional, declarative
|
|---|
-
Author:
|
mercury@cs.mu.oz.au (The Mercury Team)
|
|---|
-
Location:
|
sunsite.unc.edu /pub/linux/devel/lang/mercury
1415 mercury-compiler.lsm
8.0MB mercury-compiler-0.9.1.tar.gz
ftp.mercury.cs.mu.oz.au /pub/mercury
8.0MB mercury-compiler-0.9.1.tar.gz
|
|---|
-
Ports:
|
i386, PPC, Sparc, Alpha (others possible but untested with Linux), gcc 2.6.3 or higher, GNU make 3.69 or higher
|
|---|
-
Restriction:
|
GPL+LGPL
|
|---|
-
Updated:
|
2000/01/21
|
|---|
category: logic programming languages
summary, or
expanded.
|
|