2
Logikprogrammierung: Transformation von B: -AC: -A nach B, C: -A
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,Cist eine Konjunktion? Ich mache eine Bottom-up-Bewertung und es ist nützlich für mich, mehrere …