PROLOG语言PROLOG Language
摘要(Abstract)：
<正> Alain Colmeraver于1973年设计的一种程序设计语言叫作PROLOG。PROLOG表示用逻辑进行程序设计(programming in Logic)。目的是想设计一个处理逻辑推理问题的语言,使得程序员能够用逻辑来规定机器的任务,不象通常的程序设计那样来规定机器在什么时候作什么。这是语言设计方面的一种新尝试,也是PROLOG是主要的特点。它以程序好写、易读、语句种类少(仅三种)、数据与程序结构统一、文法简洁、表现力丰富、非过程性等特性。它的理论意义和使用价值已引起学术界的普通重视。PROLOG是一个用于符号计算方面的语言,尤其适于解决人工智能方面的问题。因此,深受人们的尝识。日本已把它作为第五代计算机的核心语言来研究和开发。
关键词(KeyWords)：
基金项目(Foundation):
作者(Author):