逻辑编程 - 查找给定单词的同义词
任务是编写一个程序来判断两个词是否是同义词。 我有...
阐明不同 minikanren 实现中的搜索算法 2.1 conde 和 condi 在 TRS12.2 conde in TRS22.3 conde in TRS1*第一个实验第二个实验第三个实验
我目前正在通过 The Reasoned Schemer 和 Racket 学...
Clingo 程序预期可满足
我正在 Clingo 5.0.0 中测试一些涉及算术的程序，但...
如何定义多重惩罚以最小化 clingo 的整体？
我正在尝试使用 clingo 生成锦标赛玩家房间分配： &...
如何在 clingo 中总结所有而不仅仅是不同的值？
以下代码生成 <code>x(3)</code> 而不是...
clingo 中多项选择谓词的简写
现在我有一个单选谓词来定义我的搜索空间。 <pre...
在 clingo 中有效地减少搜索空间
我正在努力解决一个约束问题（它会因大值和/或如果我...
Clingo：操作未定义
将以下规则添加到我的代码会导致错误消息 (<code...
逻辑编程中的事件驱动编程范式
我需要写一篇关于<strong>逻辑编程</stron...
Prolog：让我的谓词返回所有可能的解决方案
我在prolog online的99-problems中发现了这个问题。...
PyDatalog：跟踪递归深度
我无法在 PyDatalog 中跟踪循环中的递归深度。我有一...
如何在 clingo / gringo 中替换 python API 中的常量项？
假设我有以下文件 <code>foo.lp</code>...
为什么析取 ASP 程序不能在答案中返回两个析取谓词实例？
我是 ASP 的新手 (<a href="https://en.wiki...
将`appendo`关系从smt2转换为python
最近我在学习 SMT 求解器。虽然 SMT 求解器对我来说...