---
key: pl/trealla
kind: plang
name: "Trealla Prolog"
url: https://plangs.page/trealla
---

# Trealla Prolog

> An efficient Prolog interpreter with concurrent capabilities.

A compact, efficient Prolog interpreter implemented in C, known for its ability to handle concurrent threads and coroutines.

## Facts

- Appeared: 2020
- GitHub: https://github.com/trealla-prolog/trealla

## Relationships

### Paradigms

- [Concurrent](https://plangs.page/paradigm/concurrent)
- [Declarative](https://plangs.page/paradigm/declarative)
- [Logic](https://plangs.page/paradigm/logic)

### Platforms

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

### Type Systems

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

### Dialect of

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

### Influenced By

- [GNU Prolog](https://plangs.page/gprolog)
- [SWI-Prolog](https://plangs.page/swi-prolog)
- [Tau Prolog](https://plangs.page/tau)

### Written With

- [C](https://plangs.page/c)

### Licenses

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

### Tags

- [Scripting](https://plangs.page/tag/scripting)