Question

根据图片中的代码，如何通过处理结构来绑定那些无界变量？例如，如何在第一张照片中让X = 1，Y = 2作为示例。

一个更明确的例子：

我问另一个问题更具体。如果仍然不清楚，无论如何。

Answer 1

您的问题仍不清楚。你没有“手动”绑定任何东西，是吗？

你的意思是你在谓词的头部进行统一吗？

foobar(1, 2) --> [1, 2].

（一个简单的例子，因为我不知道这是不是你要问的。）