plangs!

Programming Language

Formulog

Appeared 2019-04

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

HomepageGitHubMarkdownEdit

Influence graph

Influence graph for Formulog: 2 influencing languages, 1 family linksProlog influenced DatalogDatalog influenced FormulogFormulog is a dialect of DatalogPrologDatalogFormulog
Solid arrows: influence, oldest at the top. Dashed: compiles to / is a dialect of / implements.

Paradigms

Dialect of

Influenced By

Tags