---
key: pl/scryer
kind: plang
name: "Scryer Prolog"
url: https://plangs.page/scryer
---

# Scryer Prolog

> An ISO Prolog implemented in Rust.

An implementation of ISO Prolog written in Rust, tailored for capabilities like constraint solving, coroutining, and logical reasoning.

## Facts

- Appeared: 2018
- Homepage: https://www.scryer.pl/
- GitHub: https://github.com/mthom/scryer-prolog

## Relationships

### Paradigms

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

### Platforms

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

### Dialect of

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

### Influenced By

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

### Written With

- [Rust](https://plangs.page/rust)

### Licenses

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

### Tags

- [Proof Assistant](https://plangs.page/tag/proofs)