「ニューラルネットワーク的AIを統制するためのPrologプログラミング」かな。