並行論理プログラミングのしくみってどうなってるの?