Software de programación lógica

3

Click here to load reader

Transcript of Software de programación lógica

Page 1: Software de programación lógica

Integrantes: Edinson Guerra

Alan Guevara

Page 2: Software de programación lógica

PROLOG LISP CLIPS

Herramienta para programarartefactos electrónicosmediante el paradigmalógico.

Herramienta para programary desarrollar programasrelacionados con lainteligencia artificial.

Herramienta de desarrollo ymanejo de sistemas expertos.

Prolog está basado en lalógica de primer orden, esaquella que resuelveproblemas formulados conuna serie de objetos yrelaciones 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 elfin de hacerlo más portable yrápido.

Ideado a principios de losaños 70 en la Universidad deAix-Marseille

Fue desarrollado en 1954 por

John McCarthyFue creado a partir de 1984,en el Lyndon B. JohnsonSpace de la NASA.

Proveniente del francésPROgrammation en LOGique

El nombre LISP deriva del

"LISt Processing" (Proceso de

LIStas)

CLIPS es un acrónimo de CLanguage IntegratedProduction System (Sistemade Producción Integrado enLenguaje C)

Page 3: Software de programación lógica

PROLOG LISP CLIPS

Se compone de hechos (datos)

y un conjunto de reglas, es

decir, relaciones entre objetos

de la base de datos.

Se compone de listasencadenadas y por un conjuntode instrucciones o reglas.

Se compone básicamente dereglas definidas, y está basadoen texto que incluyenherramientas.

Los comentarios se definenentre 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 unpredicado o a una determinadafunción, con unos argumentosconcretos, se denominaobjetivo.

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 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 lasintaxis de ART (otraherramienta para el desarrollode sistemas expertos).