Prolog

Eine methodische Einführung

  • Authors
  • Ralf Cordes
  • Rudolf Kruse
  • Horst Langendörfer
  • Heinrich Rust
  • Editors
  • Paul Schmitz
Book

Part of the Artificial Intelligence / Künstliche Intelligenz book series (KI)

Table of contents

  1. Front Matter
    Pages I-IX
    PDF

  2. Einleitung

    1. Einleitung
      Ralf Cordes, Rudolf Kruse, Horst Langendörfer, Heinrich Rust
      Pages 1-8

  3. Reines Prolog

    1. Front Matter
      Pages 9-9
      PDF
    2. Fakten und Regeln
      Ralf Cordes, Rudolf Kruse, Horst Langendörfer, Heinrich Rust
      Pages 10-15
    3. Arbeitsweise des Prologinterpreters
      Ralf Cordes, Rudolf Kruse, Horst Langendörfer, Heinrich Rust
      Pages 16-23
    4. Grundlagen der Prädikatenlogik
      Ralf Cordes, Rudolf Kruse, Horst Langendörfer, Heinrich Rust
      Pages 24-36
    5. Grundlagen der logischen Programmierung
      Ralf Cordes, Rudolf Kruse, Horst Langendörfer, Heinrich Rust
      Pages 37-50

  4. Prolog — Sprache und Programmierumgebung

    1. Front Matter
      Pages 51-51
      PDF
    2. Prädikate mit Seiteneffekten
      Ralf Cordes, Rudolf Kruse, Horst Langendörfer, Heinrich Rust
      Pages 52-63
    3. Kontrollstrukturen
      Ralf Cordes, Rudolf Kruse, Horst Langendörfer, Heinrich Rust
      Pages 64-72
    4. Graphische Darstellung von Prologprogrammen
      Ralf Cordes, Rudolf Kruse, Horst Langendörfer, Heinrich Rust
      Pages 73-80
    5. Arithmetische und relationale Operatoren
      Ralf Cordes, Rudolf Kruse, Horst Langendörfer, Heinrich Rust
      Pages 81-86
    6. Klassifikation, Analyse und Synthese von Termen
      Ralf Cordes, Rudolf Kruse, Horst Langendörfer, Heinrich Rust
      Pages 87-93
    7. Terme und Operatoren
      Ralf Cordes, Rudolf Kruse, Horst Langendörfer, Heinrich Rust
      Pages 94-101

  5. Datenstrukturen, Algorithmen und Anwendungen

    1. Front Matter
      Pages 103-103
      PDF
    2. Listen und Listenoperationen
      Ralf Cordes, Rudolf Kruse, Horst Langendörfer, Heinrich Rust
      Pages 104-114
    3. Sortierverfahren
      Ralf Cordes, Rudolf Kruse, Horst Langendörfer, Heinrich Rust
      Pages 115-121
    4. Graphen und Graphsuche
      Ralf Cordes, Rudolf Kruse, Horst Langendörfer, Heinrich Rust
      Pages 122-130
    5. Symbolmanipulation
      Ralf Cordes, Rudolf Kruse, Horst Langendörfer, Heinrich Rust
      Pages 131-141
    6. Ein Interpreter für applikative Programme
      Ralf Cordes, Rudolf Kruse, Horst Langendörfer, Heinrich Rust
      Pages 142-149

About this book

Keywords

Algorithmen Datenstrukturen Expertensystem Grammatik Implementierung Klassifikation Programmieren Programmiersprache Programmierung Prolog Zeit

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-322-90619-9
  • Copyright Information Springer Fachmedien Wiesbaden 1990
  • Publisher Name Vieweg+Teubner Verlag, Wiesbaden
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-528-14584-2
  • Online ISBN 978-3-322-90619-9
  • About this book
Industry Sectors
Pharma
Automotive
Electronics
Telecommunications
Aerospace