我想在Prolog规则中重用一些表达式。
例如，请考虑以下事实：
predicate(
complicatedPredicate(foo1, foo2, foo3),
complicatedPredicate(foo1, foo2, foo3)
).
我怎么能绑定第一个复杂的预测，所以我不必再输入整个东西了？
要清楚，我想要一些像这样的东西：
predicate(Binding<-complicatedPredicate(foo1, foo2, foo3), Binding).