Publication | Closed Access

{log}: A language for programming in logic with finite sets

Computational LogicEngineeringAutomated ReasoningAnswer Set ProgrammingFormal MethodsWell-founded SemanticsComputer ScienceFinite SetsLogic ProgrammingProgramming Languages