antipatterns

关于Prolog编程中常见陷阱的指南，强调使用纯声明式构造而非不纯的构造，如cut、全局状态和低级I/O。