人工智能及应用
10.1.2 PROLOG语言简介
10.1 概述
• PROLOG是英文“PROgramming in LOGic”的缩写，即逻辑编
程。
• PROLOG是一种基于一阶谓词的逻辑型程序设计语言。定理证明
是逻辑程序设计的基础，逻辑程序设计起源于鲁滨逊提出的归结原
理。谓词演算提供了与计算机沟通的基本形式，归结提供了推理技
术。
• 1972年，马赛大学的考美拉尔(Alain Colmerauer)在研制自然语言
问题系统时，提出了Prolog的雏型。考美拉尔和卢塞尔(Phillippe
Roussel)在爱丁堡大学的科瓦尔斯基(Robert Kowalski)的帮助下，
提出了PROLOG的基本设计。考美拉尔和卢塞尔对自然语言处理感
兴趣，科瓦尔斯基对自动定理证明感兴趣。1975年PROLOG被用于
问题求解系统。
