prologの x:xsと通じるものがあるのかもしれない