生成和测试方法如何在prolog中工作？

Question

我需要帮助了解prolog中的生成和测试方法是什么，它用于什么以及如何使用它。我已经在网上搜索了答案，但无法真正找到我的问题的答案。