Parallel Logic Programming Language "KL1"