我需要为道义逻辑编写规则，有没有任何编程语言可以做到这一点？我看到了 prolog，现在正在学习，但是如何在 PROLOG 中表达道义逻辑？请帮忙
2018 年的这篇论文声称将道义逻辑与 SAT 连接起来，有关如何实现这一点的一些想法，请参阅 2015 年的论文：
道义逻辑推理基础设施 - 2018
克里斯托夫·本兹穆勒、泽维尔·帕伦特和伦德特·范德托雷
http://page.mi.fu-berlin.de/cbenzmueller/papers/C69.pdf
适用于标准 Kripke 结构的基于 SMT 的 BMC 方法 是。兹布热兹尼 - 2015 http://www.ifaamas.org/Proceedings/aamas2015/aamas/p2021.pdf
许多 Prolog 系统都有 SAT 求解器。你可以尝试一下 这些行。以下是一些带有 SAT 求解器的 Prolog 系统：
SWI-Prolog CLP(B)：
http://www.swi-prolog.org/pldoc/man?section=clpb