编程语言Prolog

编程语言Prolog
介绍
本课程的目标是研究PROLOG，以便在人工智能练习中使用它. 在该程序中解决练习题的过程包括创建一个文件作为知识库，其中包含足够的信息以便做出正确的决策并给出正确的答案，另一个文件则包含规则, 这些规则将验证请求以给出答案.
理论框架
Prolog
PROLOG是一种非常有用的编程语言，用于解决涉及对象及对象之间关系的问题. 它基于以下基本机制:
统一化
自动回溯
定义关于对象及其关系的规则. (编写,T).
事实
ü 不允许使用析取.
ü 谓词名以小写字母开头.
ü 事实必须以句点结尾.
问题
在运行时, 会出现提示符 ?- PROLOG 解释器等待用户以谓词形式输入一个目标, 带或不带变量.
就像在 CLIPS 中一样, 我们将有包含知识库描述的文件 (事实和规则).
(opro)
?- baseconoc.
/ 这会将文件中的事实添加到 Prolog 的知识存储中 /
?- esHombre(juan).
yes 人工智能
?- esHombre(pedro).
sure
?- esHombre(juanCarlos).
no
?- esMamifero(leon).
No
规则
在 PROLOG 中可以定义祖父关系(X,Y)” 叔叔关系(X,Y)” 作为规则, además de poderlo hacer como hechos como conjunción de objetivos.
abuelo(X,Y):- progenitor(X,Z), progenitor(Z,Y).
tio(X,Y):- progenitor(Z,Y), progenitor(V,Z), progenitor(V,X).
A la primera parte de la regla se le llama cabeza conclusión, el símbolo “:-” es el condicional (SI), y a la parte de la regla que está después de :- es el cuerpo parte condicional. El cuerpo puede ser una conjunción de objetivos separados por comas. Para demostrar que la cabeza de la regla es cierta, se tendrá que demostrar que es cierto el cuerpo de la regla.
Por lo visto hasta ahora, las cláusulas PROLOG son de tres tipos: hechos, reglas y preguntas. Las cláusulas PROLOG consisten en una cabeza y un cuerpo. Los hechos son cláusulas que tienen cabeza pero no tienen cuerpo. Las preguntas sólo tienen cuerpo. Las reglas tienen siempre cabeza y cuerpo. Los hechos son siempre ciertos. 规则根据某个条件声明哪些事情是真实的. PROLOG程序 ( PROLOG数据库) 由事实和规则组成，对于PROLOG来说，两者没有任何区别. 向程序提出问题以确定哪些事情是真实的. (编写,T).
结论
这种Prolog语言面向人工智能 , 为此使用逻辑编程. Prolog易于编程且包含简单的语法，因此程序员可以快速编写代码并减少错误, 此外，它易于理解，初学者也可以使用.
参考文献
Cubero, J. 2009. Prolog教程. 在线. PDF格式. 可在
编写,T. 2005. PROLOG编程语言. 在线. PDF格式. 可在
出版者
未知