Mercury
The Mercury Project: Home
Mercury is a
logic
/
functional
programming language which combines the clarity and expressiveness of
declarative
programming with advanced static analysis and error detection features.
論理型
/関数型の
プログラミング言語