2
論理プログラミング：B：-AC：-AからB、C：-Aへの変換
私が正しい場所に来たことを願っています...それは（おそらく）かなり単純な論理プログラミングの質問です。 フォームに2つの句がある場合： B:-A C:-A これらを次のように変換できます。 B,C:-A （編集： where B,Cは結合詞です。ボトムアップ評価を行っているので、それぞれのヘッドの結合詞を含む1つの句を使用して、同じボディを持つ複数の句を表すと便利です。これは簡単なようですが、このような変換には名前があります。ただし、結果の句がHorn句ではなくなったことを知っています。） この変換に名前があるかどうかは誰かが知っていますか。そうであれば、それを説明する場所へのポインタ（できればオンライン）を提供できます。 （n00bから）感謝します。