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

Fidel Oteiza M.

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.


Palabras clave


Computación; programación

Texto completo:

PDF

Referencias


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

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

W. F. CLOCKSIN y C.S. MELLISH. Programing in Prolog. Segundda edición. Springe-Verlag, 1984.




DOI: http://dx.doi.org/10.22199/S07160917.1986.0012.00005

Enlaces refback

  • No hay ningún enlace refback.