プログラミング言語 Prolog

プログラミング言語 PROLOG
INTRODUCCIÓN
この授業の目的は、人工知能の演習に使用するために PROLOG について調査することです. このプログラムでの演習の解決は、正しい判断を下し正しい回答を出すのに十分な情報を含む知識ベースとしてのファイルを作成し、もう一つはルールを含むファイルを作成することによって行われます, そのルールは回答を提供するための要求を検証します.
理論的枠組み
PROLOG
PROLOG はオブジェクトやオブジェクト間の関係を含む問題を解決するのに非常に有用なプログラミング言語です. 次の基本的なメカニズムに基づいています:
統一
自動バックトラッキング
オブジェクトとその関係についてルールを定義する. (Escrig,T).
事実
ü 否定の選言は許可されていません.
ü Los nombres de los predicados empiezan con minúscula.
ü El hecho debe terminar con un punto.
PREGUNTAS
En tiempo de ejecución, aparece el prompt ?- y el intérprete de PROLOG espera que el usuario introduzca un objetivo en forma de predicado, con sin variables.
Al igual que en CLIPS, tendremos ficheros con la descripción de la base de conocimiento (hechos y reglas).
(opro)
?- baseconoc.
/ Esto añade a la MT de Prolog los hechos del fichero /
?- esHombre(juan).
yes 人工知能
?- esHombre(pedro).
sure
?- esHombre(juanCarlos).
no
?- esMamifero(leon).
No
REGLAS
Existe en PROLOG la posibilidad de definir la relación abuelo(X,Y)” la relación tio(X,Y)” como reglas, 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. Las reglas declaran cosas que son ciertas dependiendo de una condición. El programa PROLOG ( base de datos PROLOG) está formado por hechos y reglas y para PROLOG no hay ninguna distinción entre ambas. Las preguntas se le hacen al programa para determinar qué cosas son ciertas. (Escrig,T).
結論
Este lenguaje prolog está orientado a la IA , usando para esto la programación lógica. Prolog tiene la facilidad para programar y contiene una sintaxis sencilla gracias a esto los programadores pueden escribir rápidamente un código y no contener muchos errores, además es de fácil entendimiento y puede ser utilizado por inexpertos.
BIBLIOGRAFÍA
Cubero, J. 2009年、. Tutorial de Prolog. En Línea. Formato PDF. Disponible en
Escrig,T. 2005. El lenguaje de Programación PROLOG. En línea. Formato PDF. Disponible en
Publicado por
Unknown en