Advertisement

Prolog pp 131-141 | Cite as

Symbolmanipulation

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

Zusammenfassung

In dieser Lektion wird die Anwendbarkeit von Prolog auf Probleme der symbolischen Formeltransformationen gezeigt. Zunächst wird auf das symbolische Differenzieren näher eingegangen, anschließend wird ein Prologprogramm vorgestellt, das die aus Lektion 3 bekannte Transformation beliebiger prädikatenlogischer Ausdrücke in ihre Klauselform durchführt.

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