问题标签 [predicates]

所以我正在尝试弄清楚如何使用这些谓词，我已经阅读了 Apple 文档并尝试使用它（https://developer.apple.com/library/mac/#documentation/Cocoa/Conceptual/Predicates /Articles/pUsing.html) 并且我已经设置了谓词，但它不断得到线程 1：EXC_BAD_ACCESS (code =) etc.etc。

这就是我正在使用的代码，至于我们拥有的核心数据......

实体水果和来源

属性fruitName & sourceName

关系（一对一）fruitSource<--------->sourceFruit

我想做的是拔出苹果树上的任何果实...>.<

假设我有一个具有名为 animalType 的属性的实体。在核心数据中，我有 10,000 个这样的实体，并且有未知数量的不同动物类型，例如。狗、猫、鸟等。我可以告诉核心数据获取每种动物类型并返回类似于以下内容的数组：

我不想获取一个实体数组，我只想要一个唯一的animalTypes. 不animalType应该重复。

我有一个文件对象列表，我想根据类型（音频、视频、照片）或捕获日期/时间或 Exif 信息（如果是照片）等规则进行过滤。例如，我可以用一些 cicles 来做到这一点。

有聪明的方法吗？我在某处读到解决方案可能是使用 Google Guava 的谓词，但我不明白它是如何工作的。有什么建议吗？谢谢

我试图让一个谓词将一个事实与另一个事实联系起来，并一直持续到指定的停止点。

例如，假设我正在做一个物流记录，我想知道谁从谁那里得到了一个包裹，以及他们从哪里得到的，直到最后。

序言代码

所以我试图对谓词 gotFrom 做的是让它从你开始的任何点（例如：gotFrom(brock,Who)) 递归地沿着列表向下移动并到达由 m 指定的结尾，即邮件室。

不幸的是，当我运行这个谓词时，它会读出，

我试着遍历整个事情，但我不确定它从布洛克到安妮，再到卡拉，一直到它循环到无限的真实。我有一种感觉，它与函数 (_) 中的通配符有关，但我不确定我还能如何表达函数的那部分，以便谓词在程序中搜索下一个事实，而不是跳到最后。

我尝试在我的程序中使用后退（！），但它给了我同样的错误。

任何帮助是极大的赞赏。我不想要代码，我只想知道我做错了什么，这样我就可以学习如何正确地做。

谢谢。

我有一个问题，其中我有一个元素列表，我必须循环遍历特定 /2 谓词的所有实例，以查找哪个实例在其列表中具有最多匹配元素。在实施方面，我似乎无法弄清楚我应该如何更新迄今为止的最高匹配，然后在没有更多匹配时停止。

I am currently learning about predicate logic in Prolog. I am having trouble answering a question on the topic and would like to know the steps one one take to solve such a question using Prolog predicates. I have a scenario which must be represented in Prolog predicates using only two different predicate names.

1. A and B are married
2. B likes C
3. C and D are married
4. D likes E
5. F likes B
6. E likes B
7. E and G are married
8. A likes G

Prolog 谓词- 基于此，问题不够清晰，所以我在上下文中发布问题。

这是问题，我将发布到目前为止我所做的事情以及我正在努力的事情。

情景（一个安静怪异的情景）

詹姆斯和维多利亚结婚了，但维多利亚爱上了柯特。柯特不爱她，因为他仍然与凯莉结婚并关心凯莉，尽管她对亨利更感兴趣。亚瑟在浪漫上倾向于维多利亚，但他与亨利竞争，亨利虽然与克里斯托结婚，但他也爱维多利亚，詹姆斯对她感到浪漫。

1] 使用 Prolog 谓词表示此信息。仅使用两个谓词名称。

这是我对此的解释

is_Married([James,Victoria],[Curt,Kylie],[Henry,Crystal])。

is_inLove([Victoria,Curt],[Kylie,Henry],[Arthur,Victoria],[Henry,Victoria],[James,Victoria])。

对于第二个谓词，我也不确定是否应该将 [Curt,Kylie] 放在场景中，因为它说“并且仍然关心”。

2] 如果双方都在浪漫上倾向于其他人，而不是彼此，则已婚人士将陷入困境。Prolog 规则怎么能代表这个陈述。

我的答案

∀∃x: is_married(X,Y) ∧¬ is_inLove(X,Y) ∨ is_inLove(Y,X) → on_rocks (x)

对于如何代表两个参与者的婚姻，我有点困惑。

3]当一个人 X 爱另一个人时，就存在一个爱的圈子，而另一个人又爱另一个人，依此类推，直到该链中的某人爱人 X。假设只有一个爱圈，写出找到这个圈的序言规则并列出相关人员名单。

我的答案

write_list([X|A,B,C]:-

写（X）

写列表（X，尾巴）。

我呼吁您，因为我在使用未考虑 xpath 表达式中某些参数的 libxml2 库时遇到问题。

这是我尝试解析的 xml 文件的示例：

假设我想提取所有母语为英语且版本为第一版的书籍。

如果我没记错以下 XPath 表达式，我将使用：

以及我的代码中的以下说明：

问题是我得到的结果是书籍列表，好像我只是执行以下请求：

我想知道我的版本是否有问题，因为我知道我的 debian 挤压（2.7.8.dfsg-2 +挤压7）是最新的......

我有一个简单的应用程序，具有以下前提和一些小问题：

• 我有 4 个选项卡，每个选项卡都有一个显示不同信息的表格视图，每个选项卡都有一个加号按钮，以模态方式连接到同一个视图控制器，允许用户向应用程序添加信息。
• 用户在视图控制器中添加名称、标题、日期和金额，当他们按下保存时，它会保存到核心数据表视图中。

第一个选项卡在带有标签等的自定义表格单元格中显示上述所有信息（名称、标题、日期、金额）。效果很好。

第二个选项卡仅显示有关名称的信息，第三个选项卡仅显示标题。这样，用户可以看到第一个选项卡中的所有内容，但只能看到第二个选项卡中的“名称”，他们可以选择收集有关该名称的信息。

当每个名称（或日期或标题）只有一个条目时，该应用程序运行良好，但当我添加第二个条目时，它会在“名称”选项卡中重复。

例如，如果我有一个 John Smith 的条目，只有一个条目，它会在 Name 选项卡中显示一个条目，当我进入时，它只显示附有 John 姓名的交易（这里的 1案子）。都好。

但是，如果我为 John 添加另一个条目（拼写完全相同），它会将其视为单独的条目，并且突然间，名称选项卡现在有 2 个约翰。

我没有在核心数据模型的属性中放置任何唯一 ID，但是我必须这样做吗，或者我可以使用谓词在名称选项卡中询问“如果它已经存在，不要显示两次”酒吧？

任何帮助将不胜感激！

编辑：

这是 Name 选项卡的 fetchRequest：

正如我们所见，没有谓词或类似的东西。我想要的是一个简单的检查来查看“如果名称存在，不要将它添加两次”到名称表视图。我希望这是有道理的？

我只是在 C++ 中试验 make_heap() 函数。以下是我在每次调用 bool predicate() 时通过打印它们来跟踪正在比较的元素的代码。

我得到的输出是：
-2 -1
-2 2
1 -2
2 -1
-1 3

但我期待以下输出，同时考虑标准算法：
-2 -1
-2 2
1 -2
3 -2
2 -1
-1 3

有什么帮助吗？