1. StackOverflow 文件
2. Prolog Language 教程
3. 超邏輯謂詞
4. 全解決方案的預測

全解決方案的預測

Created: November-22, 2018

預測所有解決方案的原因都是非邏輯性的。這些是例如：

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

• 0 和相關的謂詞
• 元邏輯謂詞