我正在尝试使用元谓词"=..“返回一个值。示例1：如何使用"univ“"=..”运算符？
浏览 0提问于2011-06-28得票数 3
回答已采纳
2回答
也许我只是不能理解本体论背后的一些基本概念，但这是我的问题。我尝试使用SPARQL查询指定谓词从RDF存储(使用4store，但也尝试了XML )中提取三元组，并得到空结果。为了确保我不会搞乱RDF语法，我使用了LUBM生成的数据(缩减为适合示例的大小)。
<?xml version="1.0" encoding="UTF-8" ?#name>谓词
浏览 6提问于2011-08-22得票数 3
回答已采纳
2回答
我需要一个函数来为我的类建立一个用于显示项目的策略。例如：这是假设function-pointer是布尔谓词类型的BOOLEAN_PRED_T，如下所示：我只对例如:当传递的谓词为TRUE时显示某事，当它是false时不要显示。上面的示例适用于返回bool并接受int的函数</em
浏览 1提问于2009-07-01得票数 2
回答已采纳
该包()的文档多次引用“函数形状”：
有几种基本的函数形状，包括函数(从T到R的一元函数)、消费者(从T到are的一元函数)、谓词(从T到布尔的一元函数)和提供者(从幂零函数到R)。函数形状根据其最常用的使用方式具有自然的</e
浏览 1提问于2014-10-11得票数 6
回答已采纳
1回答
在“方案”中，“谓词”一词使用
为什么方案要用“谓词”来指这样的函数呢？如果这种用法来自于以前的一种语言，那么首先选择这个词的动机是什么？
浏览 6提问于2011-06-18得票数 4
回答已采纳
(//someXPathThatReturnsMultipleMatches)[n]在哪里匹配&返回div (而不是超级链接)，其中包含一个span，而后者又包含一个标题为"foo“的超链接。但首先要更新一下这个问题：
问这个问题的基础也是一种方法，可以方便地通知用户一些在CSS中无法执行的额外类型的
浏览 6提问于2014-04-01得票数 0
4回答
逻辑true的C++一元函数
、、、、
我正在尝试对布尔向量使用any_of函数，any_of函数需要一个返回布尔值的一元谓词函数。但是，当输入到函数的值已经是我想要的布尔值时，我不知道该使用什么。我会猜测一些函数名，如"logical_true“、"istrue”或"if“，但这些似乎都不起作用。我在下面粘贴了一些代码
浏览 3提问于2013-12-25得票数 6
我对Haskell还比较陌生，在过去的几周里我一直在努力学习它，但是我一直被困在过滤器和谓词上，我希望能得到理解上的帮助。
我遇到了一个问题，我有一个元组列表。返回结果时，我知道在返回结果时可以使用Filter函数删除元组。我一直在用LYAH阅读它。它告诉我，我必须使用谓词(这是另一个函数)来过滤我的结果。这让我措手不及，因为我知道Filter<
浏览 3提问于2020-08-06得票数 2
回答已采纳
我已经看了很长一段时间了，我对这段代码可以做什么有一些想法，但是我不确定我是否正确地理解了代码的语法。
代码迭代一个没有符号的字符的2D数组，它的意思是用0填充数组，除非数组中的点表示；底部或侧面。如果是这样的话，则用9填充数组中的点。我困惑的部分是语句(pField[y*fieldWidth + x] =) --我认为这是一个条件语句，我理解逻辑之后，我的问题是关于这个条件的，如果可能的话，应该如何解释它?如果不是一个条件语句，它是
浏览 1提问于2020-10-04得票数 1
回答已采纳
1回答
OTT中的自我表示与宇宙
、、、
0我们有一个分层的宇宙层次：Prop : Type 0 : Type 1 : ... ( Prop是非谓词的)，Σ-和Π-类型的代码，以及“宇宙多态Π-类型”的附加代码x)) -> Univ ω我们可以使用目标语言构造来定义许多函数。因此，我们不能将ω作为合法级别添加到目标语言中，也不能在存在“宇宙依赖”函数的情
浏览 4提问于2015-12-05得票数 3
回答已采纳
，但我找到的每个示例都使用硬编码字符串作为前缀。例如，我可以定义一个一元布尔函数来查找"an“前缀： bool find_prefix(std::string &S) {} 并将其用作std::find_if()函数的谓词，以查找第一个匹配的迭代器。但是如何搜索用户给定的字符串作为前缀呢？有没有可能以某种方式<
浏览 13提问于2020-07-14得票数 1
回答已采纳
2回答
是否有一种“递归重新定义”(不知道技术术语) prolog谓词的方法？f(X,Y,A):-A is Y xor X.f1(Y,A):-f(1,Y,A).
f2(A):-f1(1,A).因此，谓词应该获得一个(二进制)函数作为输入，并通过从左到右填充函数的参数(通过数据定义) 1来创建新
浏览 1提问于2009-12-20得票数 1
回答已采纳
所以，我想要创建一个negate函数，它接受一些函数，它对一些参数列表返回一个布尔值，并返回一个函数，该函数接受相同的参数，并产生完全相反的布尔值结果。predicate.apply(this, arguments);}
我们甚至可以指示结果函数通过使用() => boolean作为返回类型返回</e
浏览 1提问于2015-08-17得票数 1
回答已采纳
2回答
1或2的情况取决于一些初始布尔条件。
现在，我将其实现为三元操作符，但我想了解如何使用谓词和lambda表达式来实现这一点。谁能举个例子吗？如何声明函数变量并将其放入while循环条件？
浏览 3提问于2016-02-15得票数 2
回答已采纳
我创建了一个函数，该函数在给定某种类型T的列表和谓词(指向指定函数的指针)的情况下，计算列表中有多少元素返回true。这适用于原子谓词(isEven、isOdd、is_less_than_42)，但如果我想将其与N元谓词一起使用，该怎么办？有没有办法传递N元谓词所需的N-1个参数的可选列表？
浏览 0提问于2012-02-10得票数 0
回答已采纳
我必须在prolog中编写一个项目/3谓词，当第三个参数是包含第一个list元素的Nth参数的列表时，该谓词返回true。如果一个术语的参数小于Nth，那么它必须被忽略。我需要使用默认谓词，如函子、arg或univ (=..)。?L2 = [sin(x), 2]project([], _, []):- !.结果是好的。我不明白如何在代码中添加
浏览 1提问于2017-11-11得票数 2
回答已采纳
生产者将n个作业分配给n个消费者，并调用pthread_cond_wait() n次以等待消费者完成所分配的作业。在使用作业之后，每个消费者都会调用pthread_cond_signal()来通知生产者。我的问题是“消费者对pthread_cond_signal()的n次调用会使生产者从pthread_cond_wait()中出来n次吗?或者有没有可能将多个信号合并成一个信号，使得pthread_cond_wait()出来的次数少于n次？
浏览 0提问于2013-03-20得票数 0
1回答
我想返回函数的查询结果：JOIN D8_SUBJ_LECT SubLectD8_LECTURER Lec ONWHERE Sub.subj_name = 'ИНФОРМАТИКА' AND univ_idBETWEEN 1 AND 50
Group BY Lec.
浏览 2提问于2021-10-24得票数 1
回答已采纳
云服务器
ICP备案
云直播
对象存储
实时音视频
腾讯云开发者
