Advertisement

Prolog pp 64-72 | Cite as

Kontrollstrukturen

  • Ralf Cordes
  • Rudolf Kruse
  • Horst Langendörfer
  • Heinrich Rust
Part of the Artificial Intelligence / Künstliche Intelligenz book series (KI)

Zusammenfassung

Der Prologinterpreter kontrolliert die Abarbeitung von Programmen, indem er Back war dchaining durchführt, d.h., indem er zum Beweis eines Ziels die rechten Seiten der Regeln zu beweisen versucht, mit deren Kopf das Ziel unifiziert werden kann, und mit Backtracking. Das folgende Kapitel erläutert die Benutzung von expliziten Kontrollanweisungen, mit denen wir den Ablauf von Prologprogrammen feiner steuern können, als es mit Backwardchaining und Backtracking allein möglich wäre. Wir können mit ihnen auch eine verbesserte Lesbarkeit der Programme erzielen.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Friedr. Vieweg & Sohn Verlagsgesellschaft mbH, Braunschweig 1990

Authors and Affiliations

  • Ralf Cordes
  • Rudolf Kruse
  • Horst Langendörfer
  • Heinrich Rust

There are no affiliations available

Personalised recommendations