如何在序言中使用DCG绑定变量
How to bind variable using DCG in prolog
根据图片中的代码，如何将那些无界变量与处理结构绑定？例如，对于第一张图片中的示例，我如何让 X=1,Y=2 。
一个更清楚的例子：
我问了另一个更具体的问题。如果还是不清楚，随便
你的问题还不清楚。你没有绑定任何东西"manually"，是吗？
你的意思是你在谓词的头部做统一？
foobar(1, 2) --> [1, 2].
（一个简单的例子，因为我不知道这是否是你要问的。）
根据图片中的代码，如何将那些无界变量与处理结构绑定？例如，对于第一张图片中的示例，我如何让 X=1,Y=2 。
一个更清楚的例子：
我问了另一个更具体的问题。如果还是不清楚，随便
你的问题还不清楚。你没有绑定任何东西"manually"，是吗？
你的意思是你在谓词的头部做统一？
foobar(1, 2) --> [1, 2].
（一个简单的例子，因为我不知道这是否是你要问的。）