---
key: pl/ascent
kind: plang
name: "Ascent"
url: https://plangs.page/ascent
---

# Ascent

> Logic programming language (similar to Datalog) embedded in Rust via macros.

A logic programming language, similar to Datalog, embedded in Rust using macros for declarative logic processing and query optimization.

## Facts

- Appeared: 2023
- Homepage: https://s-arash.github.io/ascent/
- GitHub: https://github.com/s-arash/ascent

## Relationships

### Paradigms

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

### Influenced By

- [Datalog](https://plangs.page/datalog)

### Written With

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

### Licenses

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

### Tags

- [Language Engineering](https://plangs.page/tag/languages)
- [Proof Assistant](https://plangs.page/tag/proofs)
- [WebDev](https://plangs.page/tag/webdev)