Fundamentos de la programación en lógica una introducción

  • Fidel Oteiza M. Universidad de Santiago.
Palabras clave: Computación, programación

Resumen

Este material tiene por objeto introducir los conceptos en que se fundamenta el uso de la lógica clausal como base para lenguajes computacionales.

Biografía del autor/a

Fidel Oteiza M., Universidad de Santiago.
Departamento de Matemáticas y Ciencias de la Computación.

Citas

1. C. ENNALS y MCCABE. A micro-PROLOG Primer Londres: Logic Programming Ass., 1982.

2. R. KOWALSKI. Logic for Problem Solving. North-Holland, Artificial Inteligence Series, 1979.

3. W. F. CLOCKSIN y C.S. MELLISH. Programing in Prolog. Segundda edición. Springe-Verlag, 1984.
Publicado
2018-03-28
Cómo citar
Oteiza M., F. (2018). Fundamentos de la programación en lógica una introducción. Proyecciones. Journal of Mathematics, 5(12), 71-96. https://doi.org/10.22199/S07160917.1986.0012.00005
Sección
Artículos