Ich hoffe, ich bin an der richtigen Stelle ... es ist (wahrscheinlich) eine ziemlich einfache Frage zur Logikprogrammierung.
Wenn ich zwei Klauseln des Formulars habe:
B:-A C:-A
Ich kann diese umwandeln in:
B,C:-A
( Bearbeiten: Wo B,C
ist eine Konjunktion? Ich mache eine Bottom-up-Bewertung und es ist nützlich für mich, mehrere Klauseln mit demselben Körper mit einer Klausel mit einer Konjunktion der jeweiligen Köpfe darzustellen. Dies scheint trivial, aber ich frage mich, ob Es gibt einen Namen für eine solche Transformation - ich weiß jedoch, dass die resultierende Klausel keine Horn-Klausel mehr ist. )
Weiß jemand, ob diese Transformation einen Namen hat, und wenn ja, kann jemand einen Zeiger (vorzugsweise online) auf eine Stelle bereitstellen, die ihn beschreibt.
Vielen Dank (von einem n00b).