OOで並列なProlog関係は、昔日本語の本がたくさん出ていた。