---
key: pl/picat
kind: plang
name: "Picat"
url: https://plangs.page/picat
---

# Picat

> A multi-paradigm language integrating functional, logic, and imperative programming features.

A logic-based, multi-paradigm language that integrates functional, logic, and imperative programming features designed for general-purpose applications, especially known for its modeling and constraint-solving capabilities.

## Facts

- Appeared: 2013
- Homepage: http://picat-lang.org/

## Relationships

### Paradigms

- [Constraint](https://plangs.page/paradigm/constraint)
- [Functional](https://plangs.page/paradigm/functional)
- [General-Purpose](https://plangs.page/paradigm/general-purpose)
- [Imperative](https://plangs.page/paradigm/imperative)
- [Logic](https://plangs.page/paradigm/logic)
- [Multi](https://plangs.page/paradigm/multi)

### Platforms

- [Cross-Platform](https://plangs.page/platform/cross)

### Type Systems

- [Dynamic](https://plangs.page/type-system/dynamic)

### Influenced By

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

### Licenses

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

### Tags

- [Mathematical Modeling](https://plangs.page/tag/modeling)