前回の某先生ゼミの時に「ヘルブランド・モデル(Herbrand model)ってAI屋さんには良く知られていること?」と聞かれて「知りません」と答えてしまったけど，フランス語読みすれば「エルブラン・モデル」のことで，たぶん1既知であろう話だったことに気がついた… 少なくともPrologをやっている人たちには ↩︎