PROLOG_语言_李永礼20页

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