Una aproximación a la programación en lógica rebatible

El objetivo de este trabajo es describir un lenguaje de programación en lógica rebatible como una extensión de la programación en lógica convencional. Para ello se utilizarán los programas lógicos rebatibles (PLR), los cuales están formados por dos tipos de cláusulas: las cláusulas de programa exten...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: García, Alejandro Javier
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 1995
Materias:
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/24334
Aporte de:

Ejemplares similares