谁能解释一下 Prolog 中自由变量的概念。它类似于匿名变量吗？或者有什么不同。如果给出一个例子来解释也可能很棒。
prolog free-variable
free-variable ×1
prolog ×1