1. CÁLCULO
PROPOSICIONAL Y DE
PREDICADOS

2. LENGUAJES DE PROGRAMACIÓN LÓGICA

Integrantes

Emanuel Beltrán Garzón

Juan Carlos Camacho

Ronnie Moreira

3. PROLOG

Es un lenguaje de programación seminterpretado. Su funcionamiento es muy
similar a Java. El código fuente se compila a un código de byte el cual se
interpreta en una máquina virtual denominada Warren Abstract
Machine (comúnmente denominada WAM). Por eso, un entorno de desarrollo Prolog
se compone de:

Un compilador. Transforma el código fuente en código de byte. A diferencia de
Java, no existe un standard al respecto. Por eso, el código de byte generado por
un entorno de desarrollo no tiene por qué funcionar en el intérprete de otro
entorno.

Un intérprete. Ejecuta el código de byte.

Un shell o top-level. Se trata de una utilidad que permite probar los programas,
depurarlos, etc. Su funcionamiento es similar a los interfaces de línea de comando
de los sistemas operativos.

Una biblioteca de utilidades. Estas bibliotecas son, en general, muy amplias.
Muchos entornos incluyen (afortunadamente) unas bibliotecas standard-ISO que
permiten funcionalidades básicas como manipular cadenas, entrada/salida, etc.

4. 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 es un lenguaje funcional que se apoya en la utilización de funciones
matemáticas para el control de los datos. Pero el elemento fundamental en el LISP
es la lista. Y desde el punto de vista más amplio del término. Cada función del
LISP y cada programa que generemos con él vienen dado en forma de lista. Por
esta razón los datos no se pueden diferenciarse sintácticamente de los programas.

A este tipo de lenguaje se les denomina aplicativos o funcionales porque se basan
en la aplicación de funciones a los datos. El LISP diferencia dos tipos de elementos
básicos: El átomo, datos elementales de varios tipos como números, símbolos,
caracteres y cadenas de caracteres. Y las Listas, entre las que podemos nombrar a
un en especial. La lista “nil”, que es una lista nula que no tiene ningún elemento.

5. Clips

El lenguaje CLIPS deriva su sintaxis del lenguaje LISP

Se trata de un lenguaje parentizado con notacion preja

Los tipos de datos predenidos que nos interesaran son: reales,

enteros, strings, smbolos, apuntador a hechos, nombre de instancia y

apuntador a instancia.

Los tipos habituales poseen los operadores mas comunes

El lenguaje de CLIPS auna tres paradigmas de programacion: lenguaje

de reglas, lenguaje funcional, lenguaje orientado a objetos

6. PROLOG
Ideado a principios de los años 70 en la
Universidad de Aix-Marseille
LISP
Fue desarrollado en 1954 por John McCarthy
CLIPS
Fue creado a partir de 1984, en el Lyndon B.
Johnson Space de la NASA.
El programador se concentra más en el
Las implementaciones en LISP suelen
CLIPS incluye cierto número de características
conocimiento que en los algoritmos. En
programarse de manera que cálculos iterativos
para realizar la verificación y validación de
PROLOG, se llega a una solución infiriéndola puedan realizarse en un espacio constante (en
sistemas expertos
desde algo ya conocido.
memoria) aunque hayan sido descritos mediante
el uso de la recursividad.
Sus elementos pueden ser cualquier termino e Pueden escribirse extenciones a CLIPS sobre C, Las listas encadenadas son una de las estructuras
incluso otra lista
y al contrario, LIPS puede ser llamado desde C de datos importantes de Lisp y el código fuente
del Lisp en si mismo esta compuesto de listas.
Tiene una sintaxis y semántica simples. Sólo
busca relaciones entre los objetoscreados, 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).
Programar artefactos electrónicos e
investigación de la inteligencia artificial.
En la investigación de la inteligencia artificial.
Creación de Sistemas expertos. (Inteligencia
artificial).
Software propietario, existen pocas
implementaciones libres.
Software libre
Software libre
No tenía como objeto en principio ser un
lenguaje de programación, fue creado
inicialmente para el procesamiento del
lenguaje natural.
Creado como una notación matemática practica
para los programas de computadoras, basado en
el código lambda.
Se creó para facilitar el desarrollo del software
que modele el pensamiento humano.