¿Qué es el lenguaje de programación lógica de elección comprometida?
En la comunidad de programación lógica, he escuchado a muchas personas hablar de “lenguaje de programación lógica con elección comprometida”, pero no estoy muy claro sobre su definición. Busqué en internet, pero no encontré una respuesta formal (parece estar relacionado con la programación lógica concurrente). ¿Significa el “lenguaje de programación . . . Read more