Fundamentos de la programación en lógica una introducción
DOI:
https://doi.org/10.22199/S07160917.1986.0012.00005Keywords:
Computación, programaciónAbstract
Este material tiene por objeto introducir los conceptos en que se fundamenta el uso de la lógica clausal como base para lenguajes computacionales.
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.
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
-
Attribution — You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use.
- No additional restrictions — You may not apply legal terms or technological measures that legally restrict others from doing anything the license permits.