
Programming Language
Formulog
Appeared 2019-04
A language combining Datalog with support for SMT queries and first-order functional programming features.

Programming Language
Appeared 2019-04
A language combining Datalog with support for SMT queries and first-order functional programming features.