On Program Completion, with an Application to the Sum and Product Puzzle
Logic in Computer Science
2023-05-25 v1
Abstract
This paper describes a generalization of Clark's completion that is applicable to logic programs containing arithmetic operations and produces syntactically simple, natural looking formulas. If a set of first-order axioms is equivalent to the completion of a program then we may be able to find standard models of these axioms by running an answer set solver. As an example, we apply this "reverse completion" procedure to the Sum and Product Puzzle.
Cite
@article{arxiv.2305.15360,
title = {On Program Completion, with an Application to the Sum and Product Puzzle},
author = {Vladimir Lifschitz},
journal= {arXiv preprint arXiv:2305.15360},
year = {2023}
}
Comments
Submitted to the 2023 International Conference on Logic Programming