Skip to main content
  • Book
  • © 1992

Prolog

Eine methodische Einführung

Editors:

Part of the book series: Künstliche Intelligenz (KI)

  • 2128 Accesses

Buy it now

Buying options

eBook USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (21 chapters)

  1. Front Matter

    Pages I-IX
  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
    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-49
  4. Prolog — Sprache und Programmierumgebung

    1. Front Matter

      Pages 51-51
    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
    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

Authors and Affiliations

  • Braunschweig, Deutschland

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

Bibliographic Information

Buy it now

Buying options

eBook USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access