Lenguaje de programación prolog

LENGUAJE DE PROGRAMACIÓN PROLOG
INTRODUZIONE
El objetivo de esta clase es investigar sobre PROLOG para utilizarlo en ejercicios de Inteligencia Artificial. La resolución de ejercicios en este programa consiste en crear un archivo como la base de conocimiento que contendrá información suficiente para que se tomen correctas decisiones y se arrojen respuestas correctas y otro el cual es el que llevará las reglas, que validaran las solicitudes para dar las respuestas.
MARCO TEÓRICO
PROLOG
PROLOG es un lenguaje de programación muy útil para resolver problemas que implican objetos y relaciones entre objetos. Está basado en los siguientes mecanismos básicos:
Unificación
Backtracking automático
Definir reglas sobre objetos y sus relaciones. (Escrig,T).
HECHOS
ü No se permiten disyunciones.
ü I nomi dei predicati iniziano con lettera minuscola.
ü Il fatto deve terminare con un punto.
DOMANDE
Durante il tempo di esecuzione, compare il prompt ?- e l'interprete di PROLOG si aspetta che l'utente inserisca un obiettivo sotto forma di predicato, con o senza variabili.
Come in CLIPS, avremo file con la descrizione della base di conoscenza (fatti e regole).
(opro)
?- baseconoc.
/ Questo aggiunge alla MT di Prolog i fatti del file /
?- esHombre(giovanni).
yes intelligenza artificiale
?- esHombre(pedro).
sure
?- esHombre(juanCarlos).
no
?- esMamifero(leon).
No
REGOLE
Esiste in PROLOG la possibilità di definire la relazione nonno(X,E)la relazione zio(X,E)come regole, oltre a poterlo fare come fatti come congiunzione di obiettivi.
nonno(X,E):- genitore(X,Z), genitore(Z,E).
zio(X,E):- genitore(Z,E), genitore(V,Z), genitore(V,X).
Alla prima parte della regola si chiama testa conclusione, il simbolo “:-” è il condizionale (SE), e alla parte della regola che è dopo :- è il corpo parte condizionale. Il corpo può essere una congiunzione di obiettivi separati da virgole. Per dimostrare che la testa della regola è vera, si dovrà dimostrare che è vero il corpo della regola.
Da quanto visto finora, le clausole PROLOG sono di tre tipi: hechos, regole e domande. Le clausole PROLOG consistono in una testa e un corpo. I fatti sono clausole che hanno testa ma non hanno corpo. Le domande hanno solo corpo. Le regole hanno sempre testa e corpo. I fatti sono sempre veri. Le regole dichiarano cose che sono vere a seconda di una condizione. Il programma PROLOG ( base di dati PROLOG) è formato da fatti e regole e per PROLOG non c'è alcuna distinzione tra le due. Le domande vengono fatte al programma per determinare quali cose sono vere. (Escrig,T).
CONCLUSIONE
Questo linguaggio Prolog è orientato all'IA , usando per questo la programmazione logica. Prolog ha la facilità di programmare e contiene una sintassi semplice grazie a ciò i programmatori possono scrivere rapidamente un codice e non contenere molti errori, inoltre è di facile comprensione e può essere utilizzato da inesperti.
BIBLIOGRAFIA
Cubero, J. 2009. Tutorial di Prolog. Online. Formato PDF. Disponible en
Escrig,T. 2005. Il linguaggio di programmazione PROLOG. Online. Formato PDF. Disponible en
Publicado por
Sconosciuto in