?- 会話向きプログラミング言語(Prolog).