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

• Oteiza M., Fidel ^[1]
  1. [1] Universidad de Santiago.
• Localización: Proyecciones: Journal of Mathematics, ISSN 0716-0917, ISSN-e 0717-6279, Vol. 5, Nº. 12, 1986, págs. 71-96
• Idioma: español
• DOI: 10.22199/S07160917.1986.0012.00005
• Enlaces
  • Texto completo
• 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.

• Referencias bibliográficas
  • Citas 1. 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.