Silva Galiana, Josep Francesc(Universitat Politècnica de València, 2019-06-25)
Este objeto de aprendizaje da una introducción al paradigma de programación lógica.
Explica las características principales de ese paradigma y da un ejemplo de programa lógico usando la sintaxis de Prolog. También muestra ...
Iborra López, José(Universitat Politècnica de València, 2013-02-11)
En 1936 Alan Turing demostro que el halting problem, esto es, el problema de decidir
si un programa termina o no, es un problema indecidible para la inmensa mayoria de
los lenguajes de programacion. A pesar de ello, la ...