swi-prolog参考手册,SWI-Prolog5.6ReferenceManual,英文参考手册,章节分为,介绍,总览,初始化与管理,建立谓词,使用模组,特殊变量,建立规则,多重应用,外语交互等