Prolog 一阶逻辑与自动定理证明

我想问一下，Melvin Fitting的《一阶逻辑和自动定理证明》一书中的练习题是否有解决方案。

您搜索过GitHub吗？是的。我想知道的是，如果我买了这本书，这本书是否附有练习的答案？那你为什么不问这个问题？你可以在附近的图书馆找到这本书的副本。别忘了图书馆间的借阅。这本书本身没有解决办法。无论是序言还是数学练习。