PRCLOG (PROgramming in LOiGc) 是一 种建立在一阶逻辑基础上 , 适用于符号处理和智能模拟的 , 理想的计算机语言 。 它是七十年代初由法国马赛大学教授 A . COLMAURAUER设计的 , 日本在研制第五代计算机的计划中 , 已选定它作为核心语言。近年来卫ROLOG引起了有关人士广泛注意和重视。PROLOG易学、易用 、程序具有简明可读的特点。 在国际上 , 它已广泛应用于如专家系统、自然语言理解、 关系数据库自动程序设计等等方面 . 本手册主要介绍马赛大学人工智能小组的新作P ROLOG一n , 它于1982年推出 , 内容包括基本思想、使用简单说明 、若干例子 ( 均在机器上通 过 ) , 和无限树及例子。 所以 , 它既可作为使用手册 , 又可作为学习pRo LoG的参考书 。 作者本人在法国进修期间曾得到马赛大学人工智能小组的郑助 。 之所以能将P豆OLOC一n引入我国 ; 多亏 A · CO L M A U 尺 A U E R 和 H · M E L O N I 的支持和帮助 , 在此深表谢意。 本手册在编 写过程 中, 兰州大学无线电计算机科学系周杰同志提了不少宝贵意见 , 并给了大力协助 。 谨此致谢 ! 由于本人水平所限 , 错误 、不安之处在所难免 , 敬请读者批评 、指 正.
