首先声明:这不是一项作业练习。我正在尝试学习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_...