1. StackOverflow 文档
2. Prolog Language 教程
3. 超逻辑谓词

超逻辑谓词

• 具有副作用的谓词 元逻辑谓词 全解决方案的预测 0 和相关的谓词

• 具有副作用的谓词