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

Authors

  • Fidel Oteiza M. Universidad de Santiago.

DOI:

https://doi.org/10.22199/S07160917.1986.0012.00005

Keywords:

Computación, programación

Abstract

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

Author Biography

Fidel Oteiza M., Universidad de Santiago.

Departamento de Matemáticas y Ciencias de la Computación.

References

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.

Published

2018-03-28

How to Cite

[1]
F. Oteiza M., “Fundamentos de la programación en lógica una introducción”, Proyecciones (Antofagasta, On line), vol. 5, no. 12, pp. 71-96, Mar. 2018.

Issue

Section

Artículos