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

【问题标题】：how Sets and Relations are useful and related to logic programming?集合和关系如何有用并与逻辑编程相关？
【发布时间】：2015-08-02 19:24:44
【问题描述】：

我开始学习逻辑编程，但我不得不先做离散数学的内容。但我看不到这里的关系。但是集合用于谓词逻辑但关系，它们与逻辑编程有什么关系。

【问题讨论】：

【解决方案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

【讨论】：