1. StackOverflow 文档
2. Prolog Language 教程
3. 超逻辑谓词
4. 全解决方案的预测

全解决方案的预测

Created: November-22, 2018

预测所有解决方案的原因都是非逻辑性的。这些是例如：

• setof/3
• findall/3
• bagof/3

• 0 和相关的谓词
• 元逻辑谓词