ところで、論理型で並列な言語ってあるの?