Modelo de programación relacional

Se obtiene añadiendo dos conceptos al modelo declarativo:

Escogencia no determinista

Dado un conjunto de opciones, se escoge cualquiera

Espacio de computación

Se simula el comportamiento de la máquina en función de una escogencia no determinista

Información adicional

• 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
• -