Ideales und Reales Prolog

wie hier definiert (ideal):

• Semantik ist deklarativ
• Reihenfolge der Regeln im Programm und Atome in Regel-Rumpf beeinflußt Effizienz, aber nicht Korrektheit

reales Prolog:

• cut (!) zum Abschneiden der Suche
  • green cut: beeinflußt Effizienz
  • red cut: ändert Semantik
  merke: cut $\approx$ goto, grün/rot schwer zu unterscheiden
• Regeln mit Nebenwirkungen (u. a. für Ein/Ausgabe)

für beides: keine einfache denotationale Semantik