マルチパラダイム言語TAO⑨_オブシェクト指向論理型プログラミング