Semántica declarativa trivaluada para la programación en lógica rebatible
La semántica operacional de los programas lógicos está basada en el método de resolución de Robinson, aplicado a cláusulas de Horn. Esto supone una limitación tanto sintáctica como semántica que, a pesar de las ventajas teóricas y prácticas que trae consigo, restringe en algunos casos la aplicabilid...
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Español |
| Publicado: |
2002
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/21763 |
| Aporte de: |
| Sumario: | La semántica operacional de los programas lógicos está basada en el método de resolución de Robinson, aplicado a cláusulas de Horn. Esto supone una limitación tanto sintáctica como semántica que, a pesar de las ventajas teóricas y prácticas que trae consigo, restringe en algunos casos la aplicabilidad de la Programación en Lógica (de ahora en más P.L.) en resolución de problemas. La superación de esta limitación puede atacarse de varias maneras. Un modo es extender la ejecución clásica a nuevos procedimientos junto con un cambio en la sintaxis, resultando en un incremento del poder expresivo de la P.L.. |
|---|