生存还是不生：为 stableKanren 添加完整性约束以做出决定
编程语言
2024-08-30 v1
摘要
我们将完整性约束集成到 stableKanren 中，以启用组合搜索问题中的新问题解决范式。stableKanren 扩展了 miniKanren，以在稳定模型语义下推理矛盾。然而，在 stableKanren 中编写程序来解决组合搜索问题时，并未充分利用矛盾推理。这主要源于缺乏对谓词（目标函数）结果的控制。由答案集程序（ASP）定义的完整性约束提供了对谓词结果进行约束的能力。然而，完整性约束是无头正常子句，而 stableKanren 无法在没有有效头的情况下创建目标函数。因此，我们设计了一种新的方法，将完整性约束集成到 stableKanren 中。我们展示了一个统一的框架，用于在扩展后的 stableKanren 中使用完整性约束解决组合搜索问题。
关键词
引用
@article{arxiv.2408.16699,
title = {To Be or Not To Be: Adding Integrity Constraints to stableKanren to Make a Decision},
author = {Xiangyu Guo and Ajay Bansal},
journal= {arXiv preprint arXiv:2408.16699},
year = {2024}
}
备注
16 pages, 3 figures, ICFP '24 The miniKanren and Relational Programming Workshop