prologのようなライブラリ