stableKanren: Integrating Stable Model Semantics with miniKanren.

Xiangyu Guo James Smith Ajay Bansal

Published in: PPDP (2023)

Keyphrases

stable model semantics
logic programs
answer set programming
stable models
normal logic programs
derivation rules
machine learning
answer sets
rdf graphs
information technology
software engineering
logic programming
constraint satisfaction problems
propositional logic
fixpoint