---
key: pl/formulog
kind: plang
name: "Formulog"
url: https://plangs.page/formulog
---

# Formulog

> Datalog with support for SMT queries and first-order functional programming.

A language combining Datalog with support for SMT queries and first-order functional programming features.

## Facts

- Appeared: 2019-04
- Homepage: https://harvardpl.github.io/formulog/
- GitHub: https://github.com/HarvardPL/formulog

## Relationships

### Paradigms

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

### Dialect of

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

### Influenced By

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

### Tags

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