Finite-Choice Logic Programming - Martens, Chris; Simmons, Robert J.; Arntzenius, Michael (Proceedings of ACM on programming languages, 2025)
Keywords: Computing methodologies; Constraint and logic languages; Constraint and logic programming; Control structures; Database query languages (principles); Denotational semantics; Logic and databases; Logic programming and answer set programming; Nonmonotonic, default reasoning and belief revision; Software and its engineering; Theory of computation; Datalog; possibility spaces; answer set programming