Planificación de procesos para la interpretación de programación en lógica concurrente en PROLOG secuencial

Entre las propiedades esperadas para un lenguaje declarativo ideal podemos destacar la abstracción de control. En un programa, condicionar los resultados al orden de ejecución secuencial nos lleva a realizar supuestos que van más allá de su verdadero significado lógico. Presentamos un lenguaje lógico concurrente que permitirá liberarnos de estas imposiciones de control que desvirtúan a los lenguajes lógicos secuenciales (PROLOG).