集合和关系如何有用并与逻辑编程相关？

Question

我开始使用逻辑编程，但我不得不先做离散数学的内容。但我没有看到这里的关系。 然而，集合用于谓词逻辑但是关系，它们如何与逻辑编程相关。

Answer 1

使用关系来查看一个集合与自身或另一集合之间的关系，这在编程中可以被大量使用。

例如笛卡尔积： 对（x，y）的集合，例如xeA和yeB A = {a1，a2} B = {b1，b2，b3}

AxB（A叉B）= {（A1，B1），（A1，B2），...}

您可以使用关系来查找同一集合中两个元素之间的关系，例如：

A = {1,2,3,4,5} x，y e A xRy iff x