曼 谷 具有可变性但具有可变性
原文：Can I subtitude functor with variable in a predicate

I am new to prolog, and using BProlog. I have been reading some example program to execute query on group of related data. But in order to infer from facts with similar structure, they wrote many ...