string - 如何在序言中将 (0,0) 转换为 [0,0]？

Question

我正在创建一个谓词 distance/3 来计算二维平面上两点之间的距离。例如:

?- distance((0,0), (3,4), X).
X = 5
Yes

只有 (0,0) 是列表 [0,0] 时，我的谓词才有效。有没有办法进行这种转换？

Answer 1

您可以使用统一其左侧和右侧的简单规则来做到这一点:

convert((A,B), [A,B]).

Demo.