mercury

Mercury is a 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.

Name
mercury
Programs
  • c2init
  • canonical_grade
  • info_to_mdb
  • mcov
  • mdb
  • mdb.bat
  • mdemangle
  • mdice
  • mdprof
  • mdprof_cgi
  • mdprof_create_feedback
  • mdprof_dump
  • mdprof_report_feedback
  • mdprof_test
  • mercury
  • mercury.bat
  • mercury_compile
  • mercury_config
  • mercury_profile
  • mercury_update_interface
  • mfiltercc
  • mfilterjavac
  • mgnuc
  • mkfifo_using_mknod
  • mkinit
  • ml
  • mmake
  • mmc
  • mprof
  • mprof.bat
  • mprof_merge_runs
  • mslice
  • mtags
  • mtc
  • mtc_diff
  • mtc_union
  • prepare_install_dir
  • vpath_find
Homepage
Version
22.01.8
License
Maintainers
Platforms
  • i686-cygwin
  • x86_64-cygwin
  • x86_64-darwin
  • aarch64-darwin
  • i686-freebsd
  • x86_64-freebsd
  • aarch64-freebsd
  • aarch64-genode
  • i686-genode
  • x86_64-genode
  • x86_64-solaris
  • javascript-ghcjs
  • aarch64-linux
  • armv5tel-linux
  • armv6l-linux
  • armv7a-linux
  • armv7l-linux
  • i686-linux
  • loongarch64-linux
  • m68k-linux
  • microblaze-linux
  • microblazeel-linux
  • mips-linux
  • mips64-linux
  • mips64el-linux
  • mipsel-linux
  • powerpc-linux
  • powerpc64-linux
  • powerpc64le-linux
  • riscv32-linux
  • riscv64-linux
  • s390-linux
  • s390x-linux
  • x86_64-linux
  • mmix-mmixware
  • aarch64-netbsd
  • armv6l-netbsd
  • armv7a-netbsd
  • armv7l-netbsd
  • i686-netbsd
  • m68k-netbsd
  • mipsel-netbsd
  • powerpc-netbsd
  • riscv32-netbsd
  • riscv64-netbsd
  • x86_64-netbsd
  • aarch64_be-none
  • aarch64-none
  • arm-none
  • armv6l-none
  • avr-none
  • i686-none
  • microblaze-none
  • microblazeel-none
  • mips-none
  • mips64-none
  • msp430-none
  • or1k-none
  • m68k-none
  • powerpc-none
  • powerpcle-none
  • riscv32-none
  • riscv64-none
  • rx-none
  • s390-none
  • s390x-none
  • vc4-none
  • x86_64-none
  • i686-openbsd
  • x86_64-openbsd
  • x86_64-redox
  • wasm64-wasi
  • wasm32-wasi
  • aarch64-windows
  • x86_64-windows
  • i686-windows
Defined
Source