Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)