Skip to main content
SpringerLink
Log in
Book cover
  • Book
  • © 1988

Prolog

Eine methodische Einführung

Authors:

Editors:

  1. Ralf Cordes

    1. Braunschweig, Deutschland

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Rudolf Kruse

    1. Braunschweig, Deutschland

    View author publications

    You can also search for this author in PubMed   Google Scholar

  3. Horst Langendörfer

    1. Braunschweig, Deutschland

    View author publications

    You can also search for this author in PubMed   Google Scholar

  4. Heinrich Rust

    1. Braunschweig, Deutschland

    View author publications

    You can also search for this author in PubMed   Google Scholar

  1. Paul Schmitz
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Sections

Buy it now

eBook USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

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 (20 chapters)

  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-49

  4. Prolog — Sprache und Programmierumgebung

    1. Front Matter

      Pages 50-50
      PDF

    2. Prädikate mit Seiteneffekten

      • Ralf Cordes, Rudolf Kruse, Horst Langendörfer, Heinrich Rust
      Pages 51-62

    3. Kontrollstrukturen

      • Ralf Cordes, Rudolf Kruse, Horst Langendörfer, Heinrich Rust
      Pages 63-71

    4. Graphische Darstellung von Prologprogrammen

      • Ralf Cordes, Rudolf Kruse, Horst Langendörfer, Heinrich Rust
      Pages 72-79

    5. Arithmetische und relationale Operatoren

      • Ralf Cordes, Rudolf Kruse, Horst Langendörfer, Heinrich Rust
      Pages 80-85

    6. Klassifikation, Analyse und Synthese von Termen

      • Ralf Cordes, Rudolf Kruse, Horst Langendörfer, Heinrich Rust
      Pages 86-92

    7. Terme und Operatoren

      • Ralf Cordes, Rudolf Kruse, Horst Langendörfer, Heinrich Rust
      Pages 93-100

  5. Datenstrukturen, Algorithmen und Anwendungen

    1. Front Matter

      Pages 101-101
      PDF

    2. Listen und Listenoperationen

      • Ralf Cordes, Rudolf Kruse, Horst Langendörfer, Heinrich Rust
      Pages 102-112

    3. Sortierverfahren

      • Ralf Cordes, Rudolf Kruse, Horst Langendörfer, Heinrich Rust
      Pages 113-119

    4. Graphen und Graphsuche

      • Ralf Cordes, Rudolf Kruse, Horst Langendörfer, Heinrich Rust
      Pages 120-128

    5. Symbolmanipulation

      • Ralf Cordes, Rudolf Kruse, Horst Langendörfer, Heinrich Rust
      Pages 129-139

    6. Ein Interpreter für applikative Programme

      • Ralf Cordes, Rudolf Kruse, Horst Langendörfer, Heinrich Rust
      Pages 140-147
Back to top

About this book

Die Programmiersprache Prolog gewinnt in weiten Kreisen von EDV-Fachleuten und Anwendern stark an Popularität. Im universitären Kreis besitzt diese Spra­ che besonders im Bereich der Künstlichen Intelligenz seit geraumer Zeit einen hohen Stellenwert. Das Ziel des Buches ist es, einen in Lektionen eingeteilten, methodisch geglie­ derten Einführungskurs in die Programmierung mit Prolog zu geben. Das Buch basiert auf den Skripten zu der Vorlesung "Mathematische Grundlagen von Ex­ pertensystemen" und zu dem Praktikum "Programmieren in Prolog", das an der Technischen Universität in Braunschweig seit dem Wintersemester 1984/85 regelmäßig angeboten wird. Das Buch wendet sich an Schüler und Studenten ebenso wie an Interessierte aller Fachrichtungen, die sich einen Einblick in die logische Programmierung und ihre Anwendungen verschaffen wollen. Wir danken unseren Kollegen K. Drosten, J. Risius und W. Struckmann für ihre konstruktive Kritik, Frau D. Kruse für das sorgfältige Korrekturlesen und dem Vieweg-Verlag für die gute Zusammenarbeit. Braunschweig, im August 1987 R. Cordes R. Kruse H. Langendörfer H. Rust VI Inhaltsverzeichnis Einleitung 1 Zur historischen Entwicklung von Prolog . . . . . . . . . . . . . 2 Einsatz von Prolog in Fachgebieten der Künstlichen Intelligenz 3 Verarbeitungsmodelle und Programmierstile . . . 5 Prolog- eine logik-basierte Programmiersprache 7 Zu diesem Buch . . . . . . . . . . . . . . . . . . . 7 I Reines Prolog 9 1 Fakten und Regeln 10 1.1 Fakten ..... . 10 1.2 Regeln ..... . 12 1.3 Übungsaufgaben 14 2 Arbeitsweise des Prologinterpreters 16 2.1 Anfragen 16 2.2 Unifikation ... 19 2.3 Backtracking .. 22 2.4 Übungsaufgaben 23 VII Inhaltsverzeichnis *3 Grundlagen der Prädikatenlogik 24 3.1 Syntax .. 24 27 3.2 Semantik . . . .
Back to top

Keywords

Back to top

Authors and Affiliations

  • Braunschweig, Deutschland

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

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation