探索とかもろ並列処理できそうな

マルチコア時代の今なら並列prologとか出てこないかしら?