Ta上传的资源 (0)

PRCLOG (PROgramming in LOiGc) 是一 种建立在一阶逻辑基础上 , 适用于符号处理和智能模拟的 , 理想的计算机语言 。 它是七十年代初由法国马赛大学教授 A . COLMAURAUER设计的 , 日本在研制第五代计算机的计划中 , 已选定它作为核心语言。近年来卫ROLOG

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