我一直在尝试编译这段代码 3 个小时，但没有任何改进。 我知道我的数据类型编译没有问题，也是模式匹配的第一种情况。 但是当第二种情况出现时（一个节点有两个子节点），它不会编译。 问题似乎符合 if 和 4 条件。 datatype Heap = Leaf of int ...
有了这个定义： PAKCS 2.0.1（来自 Ubuntu 18.04）没有给出答案、警告或错误： 我希望看到 3 个值。 我在这里做错了什么？ ...
如果列表L中的N个数字恰好等于 1，我已经编写了以下谓词exactly/2 ： 例如，调用exactly(X, [1, 0, 0, 1, 0, 1])会将X绑定到3 。 我想创建类似的东西，但对于谓词：我想编写一个谓词，如果列表L中的N个目标成功，则该谓词成功。 例如，调用exactly(X ...
我正在尝试使用 GHC 8.6.5 版在 Haskell 中对以下逻辑含义进行建模： (∀ a. ¬ Φ(a)) → ¬ (∃ a: Φ(a)) 我使用的定义如下： 在这里，GHC 拒绝执行theorem并显示以下错误消息： 我真的不明白为什么 GHC 不应该能够匹配这两种类型。 以下 ...
我试图理解如下定义的自定义core.logic约束， 如何解释_和. 在core.logic的上下文中？ ...
我想澄清有关外展逻辑编程与答案集编程的一些内容。 我和一些同学正在创造一个游戏。 在这个游戏中有“英雄”（特殊的npcs）。 英雄有目标和行为。 （所有这些都是故事驱动的）我希望英雄对玩家或其他英雄的行动作出反应然后决定从那里做什么。 一位老师告诉我们一篇名为“角色模型：迈 ...
因此，我设法设计了一些东西，但我需要确认，而我的真正问题是： 如何使用问题标题设计的2个多路复用器（仅使用NAND）以及我需要的尽可能多的NOR门来设计4-1多路复用器？ 综上所述，第一个问题是：如何仅使用Nand门设计2-1。 第二个问题：如何使用第一个问题的两个电路以及我需要的 ...
我最近通过了A Taste of Curry ，然后决定编写一个更实质的解析器来测试这个简单的算术解析器示例：一个原始但正确且功能强大的HTML解析器。 我最后得到了一个有效的node2string函数来对Node （带有属性和子node2string进行操作，然后我node2string ...
相当引人入胜2013入门后到基于Haskell的KiCS2实施的咖喱由Wolfgang Jeltsch， 咖喱的味道 ，提供了以下定义inverse组合子： inverse :: (a -> b) -> (b -> a) inverse f y | f x =:= y = x ...