Programación lógica
La programación lógica es un paradigma de programación basado en la lógica matemática : los programas se especifican en forma de declaraciones lógicas y reglas de inferencia. El lenguaje de programación lógica más famoso es Prolog .
El primer lenguaje de programación lógico fue el lenguaje Planer [1] , que incluía la posibilidad de derivar automáticamente un resultado a partir de los datos y las reglas dadas para enumerar opciones (cuya totalidad se denominaba plan). El planificador se usó para reducir los requisitos computacionales (usando técnicas de seguimiento ) y para permitir la inferencia de hechos sin el uso activo de la pila . Luego se desarrolló Prolog, que no requería un plan de enumeración y era, en este sentido, una simplificación de Planer.
Planer también dio origen a los lenguajes de programación lógicos QA-4 , Popler , Conniver y QLISP , así como al lenguaje Ether , que no utilizan el método de retroceso [1] . Los lenguajes Mercury , Visual Prolog , Oz , Fril , Datalog están basados en Prolog.
Notas
- ↑ 1 2 Ehud Shapiro. La familia de lenguajes de programación de lógica concurrente (inglés) // ACM Computing Surveys . - 1989. - vol. 21 , edición. 3 . - Pág. 413-510 . doi : 10.1145 / 72551.72555 .
Literatura
- Iván Bratko. Algoritmos de inteligencia artificial en el lenguaje PROLOG = Programación Prolog para Inteligencia Artificial. - M .: " Williams ", 2004. - S. 640. - ISBN 0-201-40375-7 .
- Anatoly Adamenko, Andrei Kuchukov. Programación Lógica y Prólogo Visual (con CD) . - San Petersburgo. : " BHV-Petersburgo ", 2003. - S. 990 . — ISBN 5-94157-156-9 .
- edición V. N. Agáfonov. Programación lógica. Compendio de artículos. - M .: Mir , 1988. - S. 368. - 15.000 ejemplares. — ISBN 5-03-000972-8 .
- D. A. Pospelov . Modelado del Razonamiento. - M .: Radio y comunicación , 1989. - S. 184. - 20.000 ejemplares. — ISBN 5-256-00183-3 .
Enlaces
- Entrada de la biblioteca virtual de programación lógica
- Bibliografías sobre Programación Lógica
- Asociación de Programación Lógica (ALP )
- Revista de teoría y práctica de la programación lógica
 |
| |||
|---|---|---|---|---|