如何在Prolog中加入矩形？

Question

我有关于如何加入矩形的问题，以便它们变成另一种形状？ 我创建rectangle/2事实，比如：

rectangle(1.14, 2.14). %rectangle(Length, Width). 
rectangle(1.36, 3.34). 
rectangle(0.20, 2.35). 
rectangle(1.00, 1.30). 

但是，难道这些事实正确的呢？

Here是我想要创建的图像，this是详细说明矩形如何组合的图像。

矩形应该使用选定的边进行连接。

Answer 1

由于矩形有4个点，所以两个数字不构成矩形。

开始试图建立与4个参数是这样的条款：

rectangle(X1/Y1, X2/Y2, ..). 

然后你可以查询点作为这样的：

?- rectangle(X1/Y2,_,_,_). 
X1 = 42 
Y1 = 42 

所以你需要推断从实际矩形给出的要点，或者当你构建你的代码时你需要声明直觉/ 4谓词。