prolog 订阅
Prolog(Programming in logic)是一种面向演绎推理的逻辑型程序设计语言,最早于1972年由柯尔麦伦纳(Colmeraner)及其研究小组在法国马赛大学提出。 [1]  高济,何钦铭著,人工智能基础 (第二版),高等教育出版社,2008.10,第67页 展开全文
Prolog(Programming in logic)是一种面向演绎推理的逻辑型程序设计语言,最早于1972年由柯尔麦伦纳(Colmeraner)及其研究小组在法国马赛大学提出。 [1]  高济,何钦铭著,人工智能基础 (第二版),高等教育出版社,2008.10,第67页
信息
提出者
柯尔麦伦纳及其研究小组
简    称
Prolog
定    义
面向演绎推理的逻辑型语言
应用学科
计算机原理
中文名
逻辑编程语言
外文名
Programming in logic
提出时间
1972年
逻辑编程语言关于逻辑编程语言
Prolog以处理一阶谓词演算为背景,由于其简单的文法、丰富的表达力和独特的非过程语言的特点,很适合用来表示人类的思维和推理规则,从而一问世就赢得了人工智能研究和应用开发者的广泛兴趣。尤其在西欧和日本,Prolog语言已推广应用于许多应用领域,如关系数据库、数理逻辑、抽象问题求解、自然语言理解和专家系统等。日本还在其于1979年提出的第五代计算机研究计划中把Prolog列为核心语言。Prolog实际上就是一种基于逆向规则的演绎推理技术,只不过对规则和目标的表示有严格的限制.再加上演绎推理控制机制自身的简单性,难以适用于复杂的应用域。 [1] 
收起全文
精华内容
下载资源
问答

空空如也

空空如也

1 2 3 4 5 ... 20
收藏数 15,987
精华内容 6,394
关键字:

prolog