SOFTWARE DE PROGRAMACIÓN LÓGICA

Integrantes:Ayrton Adame

Alexander CaicedoMario Marret

Santiago Merchan

Profesor: Cesar Godoy

PrologPROLOG está orientado a la resolución de problemas mediante el cálculo de predicados, basado en:

Preguntas a la base de datos.

Pruebas matemáticas.

El programa PROLOG especifica cómo debe ser la solución, en vez de dar el algoritmo para su resolución. La solución se obtiene mediante búsqueda aplicando la lógica de predicados.

El programa PROLOG se compone de unos hechos (datos) y un conjunto de reglas, es decir, relaciones entre objetos de la base de datos.

La ejecución del programa cargado en memoria consiste en realizar una pregunta de forma interactiva: el interprete generará por inferencia los resultados que se deducen a partir del contenido de la base de datos.

PROLOG tiene una sintaxis y semántica simples. Sólo busca relaciones entre los objetos creados, las variables y las listas, que son sus estructuras básicas.

LISP Es un lenguaje de programación aplicativo o funcional, de propósito

general, se basa en la aplicación de funciones a los datos y se apoya en la utilización de funciones matemáticas para el control de los mismos. El elemento fundamental en el LISP es la lista, más ampliamente el término. Cada función del LISP y cada programa que generemos con él vienen dado en forma de lista. . El nombre proviene del término “List Processing ”.LISP es muy utilizado en la Inteligencia Artificial.

El LISP trata a los elementos o paramentos que le introducimos de manera no destructiva, de forma que la mayoría de las funciones nos devuelven una lista que es el resultado de alguna transformación de otra que recibió, pero sin cambiar a esta (la que recibió).

Una de las razones por las que el LISP esta especialmente dotado para la programación en inteligencia artificial (IA), es precisamente, porque su código y todos los datos tienen la misma estructura, en forma de lista.

CLIPS Representación del Conocimiento: CLIPS permite manejar una amplia variedad

de conocimiento, soportando tres paradigmas de programación: el declarativo, el imperativo, y el orientado a objetos. Portabilidad: CLIPS fue escrito en C con el fin de hacerlo más portable y rápido, y ha sido instalado en diversos sistemas operativos (Windows 95/98/NT, MacOS X, Unix) sin ser necesario modificar su código fuente. CLIPS puede ser ejecutado en cualquier sistema con un compilador ANSI de C, o un compilador de C++. El código fuente de CLIPS puede ser modificado en caso que el usuario lo considere necesario, con el fin de agregar o quitar funcionalidades.

Integralidad: CLIPS puede ser embebido en código imperativo, invocado como una sub-rutina, e integrado con lenguajes como C, Java, FORTRAN y otros.

Desarrollo Interactivo: La versión estándar de CLIPS provee un ambiente de desarrollo interactivo y basado en texto; este incluye herramientas para la depuración, ayuda en línea, y un editor integrado.

Verificación/Validación: CLIPS contiene funcionalidades que permiten verificar las reglas incluidas en el sistema experto que está siendo desarrollado, incluyendo diseño modular y particionamiento de la base de conocimientos del sistema, chequeo de restricciones estático y dinámico para funciones y algunos tipos de datos, y análisis semántico de reglas para prevenir posibles inconsistencias.

Cuadro Comparitivo 1/2

PROLOG LISP CLIPS

Herramienta para programar artefactos electrónicos mediante el paradigma lógico.

Herramienta para programar y desarrollar programas relacionados con la inteligencia artificial.

Herramienta de desarrollo y manejo de sistemas expertos.

Prolog está basado en la lógica de primer orden, es aquella que resuelve problemas formulados con una serie de objetos y relaciones entre ellos.

Es uno de los primeros lenguajes de alto nivel y junto con Prolog el lenguaje simbólico más usado en Lenguaje Artificial

CLIPS fue escrito en C con el fin de hacerlo más portable y rápido.

Ideado a principios de los años 70 en la Universidad de Aix-Marseille

Fue desarrollado en 1954 por John McCarthy

Fue creado a partir de 1984, en el Lyndon B. Johnson Space de la NASA.

Proveniente del francés PROgrammation en LOGique

El nombre LISP deriva del "LISt Processing" (Proceso de LIStas)

CLIPS es un acrónimo de C Language Integrated Production System (Sistema de Producción Integrado en Lenguaje C)

Cuadro Comparitivo 2/2

PROLOG LISP CLIPSSe compone de hechos (datos) y un conjunto de reglas, es decir, relaciones entre objetos de la base de datos.

Se compone de listas encadenadas y por un conjunto de instrucciones o reglas.

Se compone básicamente de reglas definidas, y está basado en texto que incluyen herramientas.

Los comentarios se definen entre los símbolos /* y */.

Los comentarios se definen con el símbolo “;” (punto y coma)

Los comentarios se colocan detrás de un punto y coma (;).

Una llamada concreta a un predicado o a una determinada función, con unos argumentos concretos, se denomina objetivo.

Una llamada de función o una forma sintáctica es escrita como una lista, con la función o el nombre del operador en primer lugar, y los argumentos a continuación.

Una función comienzan con un paréntesis izquierdo, seguido por el nombre de la función y a continuación le siguen los argumentos de la función separados por uno o más espacios. La llamada a la función finaliza con un paréntesis de cierre.

Tiene una sintaxis y semántica simples. Sólo busca relaciones entre los objetos creados, las variables y las listas, que son sus estructuras básicas.

La intercambiabilidad del código y los datos también da a Lisp su instantáneamente reconocible sintaxis.

Su sintaxis estaba basada en la sintaxis de ART (otra herramienta para el desarrollo de sistemas expertos).