2回答
我一直使用以下数据结构来表示Haskell中的命题逻辑： = Pred String | And Prop Prop| Or Prop Prop | Equiv Prop Prop欢迎对此结构的任何评论。然而，现在我想扩展我的算法来处理FOL谓词逻辑。在Haske
浏览 1提问于2010-07-12得票数 25
回答已采纳
2回答
最近，我被指派从事一个正在Haskell实施的小项目。来自OO/命令式背景，我习惯于在编码之前将需求/用户故事转换为用例和序列图。但是，我被分配给Haskell项目时，团队倾向于将用户需求转换为谓词逻辑命题/语句。我知道在安全关键系统和软件工程的形式化方法中使用了逻辑，但在日常编程中却没有这么多。这是FP领域中常见的做法吗？这似乎是一种自然的方式来“建模”需求，并从谓词
浏览 0提问于2015-03-17得票数 8
1回答
我正在努力学习的液体Haskell。为了测试我的理解，我想编写一个函数log2，它接受表单2^n的输入并输出n。，即“细化中的排序错误”。任何帮助都会很感激的。
谓词要么是通过比较两个表达式获得的原子谓词，要么是谓词函数的应用程序与参数列表.在液体Haskell逻辑语法中，允许
浏览 7提问于2019-11-11得票数 2
回答已采纳
1回答
是否有任何编程语言实现了逻辑操作参数(如AND，OR)的交换，以实现更快的计算？
条件计算为“真”，而不计算A。
浏览 2提问于2016-01-29得票数 1
回答已采纳
我是一个初级的Haskell程序员。在过去的六个月里，我写了一些有用的代码。我想从中发布一个库。该代码将使用系统安装cabal作为任何Haskell库。一个库是用cabal发布的，它有一个元数据文件，其中有一个来自库及其版本的逻辑谓词。
开发人员通常使用一组库。它单调乏味地维护着一组集合库。如何知道我的库对于某些子集的库是否编译成功？
浏览 1提问于2010-05-18得票数 2
在Raku中，如何编写相当于Haskell的span函数？在Haskell中，给定谓词和列表，可以将列表分为两部分：
span (< 10) [2, 2, 2, 5, 5,7, 13, 9, 6, 2, 20, 4]([2,2,2,5,5,7],[13,9,6,2,20,4])
如何编写与<e
浏览 18提问于2022-06-30得票数 18
回答已采纳
我是一个逻辑编程新手，但在Scala和Haskell的函数式编程方面经验丰富。我一直在思考的一件事是，为什么你在逻辑编程中需要类型，而你已经有了谓词，这些谓词至少应该和类型一样有表现力。与仅使用谓词编写相比：list(T, [H | X]) :- T(H), list(T, X).
编辑:我可能在这个问题的
浏览 4提问于2014-04-11得票数 8
我制作了这个函数，它的工作方式与Haskell中的words相同，words' str = before : words' (dropWhile isSpace after
浏览 2提问于2020-09-15得票数 2
我有一个haskell程序，根据输入的n列出从1..n开始的所有整数。我想根据其中的条件过滤某些数字，并以列表的形式显示。在哪里以及如何使用过滤功能/条件？根据haskell文档：应用于谓词和列表的过滤器返回满足该谓词的那些元素的列表；即，
filter p xs = [ x | x
浏览 0提问于2012-01-03得票数 22
回答已采纳
我正在努力学习Haskell，我遇到了一些问题，试图完成一个示例问题。问题在于根据给定的谓词对Haskell中的列表进行排序，即类型是到目前为止，我的代码是：sort) xs) --error is on this line 在这个意义上，代码不能正常工作
浏览 2提问于2015-01-15得票数 0
回答已采纳
8回答
对Haskell完全陌生，从学习中学习Haskell更好。我正在查看map函数map _ [] = [] 有没有可能给这加一个谓词呢例如，只映射到列表中的所有其他元素？
浏览 2提问于2014-08-20得票数 3
2回答
我想定义一个谓词，它以一些带有相应输入的谓词(它们可以作为一个惰性的调用序列)并行运行，并计算逻辑或结果的结果，在谓词调用终止返回true时，整个计算也会终止(返回true)。除了提供时间优化之外，这还有助于避免在某些情况下不终止(一些谓词调用可能不会终止)。实际上，将非终止性解释为第三个undefined值时，该谓词模拟中的或操作(初始居中中的联接)。H
浏览 0提问于2019-04-30得票数 7
1回答
全新的到Haskell和我会感谢一些帮助。
在Prolog中实现谓词，利用一些限制来减少解决方案空间，从而使整个实现不再是天真/野蛮的力量，这是非常容易的。然而，现在我不得不和Haskell打交道，我不知道该如何做。考虑到在某个时候，P1，我做出了一个选择，比如A1，在后来的时间点，P2，我做出了一个选择，比如不遵守我的约束的A2，我如何回到P1<code>E 211</code
浏览 4提问于2020-12-24得票数 2
回答已采纳
我有一个关于Haskell (我目前正在学习的语言)的递归数据结构的问题。
我想用类似Haskell Prolog的术语进行编码，但是我想出的每一个解决方案都有我想要避免的不同缺点。如果您想从这个角度看我的问题，我希望找到一种廉价而优雅的方法来编码Haskell类型中的BNF语法。我可以清楚地区分谓词和基本术语，但是predArgs列表中
浏览 4提问于2011-09-27得票数 4
回答已采纳
6回答
我想要的是编写一个Haskell函数来返回当前目录的文件，例如 :cd c:/code/haskell [x | x <-getDirectoryContents]我写了一个类似这样的函数，其中列出了文件(参考文献：)
_dir _path =d
浏览 6提问于2011-07-11得票数 14
回答已采纳
1回答
我想解析一个谓词，例如："3 > 2"或"MyVar = 0"。理想情况下，我应该使用一个小的GADT来表示谓词： I :: Int -> Expr Int
B :: Bool -> Expr Bool
浏览 6提问于2022-08-18得票数 3
回答已采纳
Haskell有"elem“谓词可以告诉like：False
在F#中，如何方便地辨别一个值是否在列表、数组、序列、映射或字典中？
浏览 15提问于2016-02-02得票数 7
回答已采纳
2回答
在这里，重写为不使用Unicode和代码中的其他函数：isPrime :: Int -> BoolisPrime 3else check (i + w) (6 - w)该算法很简单:如果True是2或3，则返回n；如果n是2或3的倍数，则返回False，然后对2或<#>3的倍数进行尝试除法。
浏览 0提问于2018-01-16得票数 2
回答已采纳
2回答
我(新到哈斯克尔)想知道(行中)是否有一个词存在。我很少看到实现它的功能，比如: elem，isInfixOfTrue
False
如何在字符串列表中的
浏览 4提问于2016-11-07得票数 3
回答已采纳
云服务器
ICP备案
云直播
腾讯会议
实时音视频
腾讯云开发者
