Title: Modelo de programación relacional Date: 2018-06-08T19:50:44+00:00 Description: Modelo de programación relacional Tags: Modelos y Paradigmas de Programación
Se obtiene añadiendo dos conceptos al modelo declarativo:
Dado un conjunto de opciones, se escoge cualquiera
Se simula el comportamiento de la máquina en función de una escogencia no determinista
- Commit hace que se complete una operación Choose en el espacio y se devuelva un resultado
- Choose espera hasta que el espacio se estabilice, bloquea el estado actual y crea un punto de escogencia.
- Este paradigma no útil pero no práctica para resolver problemas combinatirios muy grandes
- El concepto esencial es la escogencia no deterministica