PRCLOG (PROgramming in LOiGc) 是一 种建立在一阶逻辑基础上 , 适用于符号处理和智能模拟的 , 理想的计算机语言 。 它是七十年代初由法国马赛大学教授 A . COLMAURAUER设计的 , 日本在研制第五代计算机的计划中 , 已选定它作为核心语言。近年来卫ROLOG引起了有关人士广泛注意和重视。PROLOG易学、易用 、程序具有简明可读的特点。 在国际上 , 它已广泛应用于如专家系统、自然语言理解、 关系数据库自动程序设计等等方面 . 本手册主要介绍马赛大学人工