Skip to content
◈ALB Atlas

Mercury Dormant

Mercury
KindProgramming language
Appeared1995
StatusDormant
CreatorZoltan Somogyi et al / Melbourne
FamilyProlog
Sourcemercurylang.org ↗

Prolog with a PhD — modes, determinism, and types made logic programming compilable to C-speed code.

Created by Zoltan Somogyi

Melbourne's Mercury (1995) — logic programming with a strong type/mode system — is Prolog engineered for large systems: deterministic, compiled, purely declarative where possible.\n\nPrince XML (the typesetter) is written in it; the project proves logic programming could be a systems language.

Sources

  1. mercurylang.org/
  2. en.wikipedia.org/wiki/Mercury_(programming_language)