13 lines
No EOL
682 B
Text
13 lines
No EOL
682 B
Text
{{stub}}
|
|
{{language
|
|
|strength=strong
|
|
|site=http://mercurylang.org/
|
|
|checking=static}}[[runs on vm::java virtual machine| ]][[runs on vm::common language runtime| ]]
|
|
{{language programming paradigm|Declarative}}
|
|
{{language programming paradigm|functional}}
|
|
{{language programming paradigm|Logic_Programming}}
|
|
|
|
Mercury is a purely declarative functional logic programming language geared towards real-world applications. It is related to both [[Prolog]] and [[Haskell]]. It features a strong, static, polymorphic type system, as well as a strong mode
|
|
and determinism system.
|
|
|
|
Mercury has several back-ends, Low-level [[C]], High-level [[C]], [[Java]], [[Erlang]], and [[C sharp|C#]]. |