FormulogExternal LinkGithubA language combining Datalog with support for SMT queries and first-order functional programming features.DetailsGeneralAppeared 2019HomeExternal LinkDialect ofDatalogInfluenced ByDatalogParadigmsDeclarativeFunctionalLogicQueryTagsProof Assistant
