---
key: pl/mercury
kind: plang
name: "Mercury"
url: https://plangs.page/mercury
---

# Mercury

> A logic-based programming language with functional features.

Derived from Prolog, it provides a clean and efficient logic programming with support for functional programming features and powerful static analysis tools.

## Facts

- Appeared: 1995
- Homepage: https://mercurylang.org/
- GitHub: https://github.com/Mercury-Language/mercury
- Languish ranking: #306

## Relationships

### Paradigms

- [Declarative](https://plangs.page/paradigm/declarative)
- [Functional](https://plangs.page/paradigm/functional)
- [General-Purpose](https://plangs.page/paradigm/general-purpose)
- [Logic](https://plangs.page/paradigm/logic)

### Platforms

- [BSD](https://plangs.page/platform/bsd)
- [Linux](https://plangs.page/platform/linux)
- [Windows](https://plangs.page/platform/windows)

### Type Systems

- [Algebraic Data Types](https://plangs.page/type-system/algebraic)
- [Static](https://plangs.page/type-system/static)
- [Strong](https://plangs.page/type-system/strong)

### Dialect of

- [Prolog](https://plangs.page/prolog)

### Influenced By

- [Haskell](https://plangs.page/haskell)
- [Prolog](https://plangs.page/prolog)

### Licenses

- [MIT](https://plangs.page/license/mit)