首先声明：这不是一项作业练习。我正在尝试学习Prolog，这只是一个需要解决问题的例子，而Prolog正好是完美的解决方案。 我有一堆家庭关系构成了我的事实：male/1 female/1 husband/2 wife/2 father/2 mother/2 grandfather/2 gr...

我有这个跟踪元解释器，改编自之前的问题Prolog unbind bound variable。 我不明白如何解释剪枝符号。感谢用户@false告诉我剪枝符号实现得很糟糕，我的问题是，我应该如何在这个元解释器中实现剪枝符号？ %tracer mi_trace(Goal):- mi_...