| Ascent | Logic programming language (similar to Datalog) embedded in Rust via macros. |
|---|
| ELPI | An embeddable interpreter for a λProlog variant enriched with Constraint Handling Rules. |
|---|
| Eqlog | A logic programming language for Datalog with equality support. |
|---|
| Fleng | A compiler for concurrent logic programming languages FGHC, Strand, KL1, and PCN. |
|---|
| Lisp | Family of programming languages known for its fully parenthesized prefix notation and influence on AI research. |
|---|
| Natlog | A lightweight Prolog-like system designed for interoperability with deep learning tools. |
|---|
| TXL | Language for creating and manipulating programming languages with pattern-matching. |
|---|