Skip to main content
SpringerLink
Log in
Book cover
  • Textbook
  • © 1990

Kurs in Logischer Programmierung

Authors:

  1. Norbert E. Fuchs

    1. Institut fü Informatik, Universität Zürich, Schweiz

    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: Springers Angewandte Informatik (SPINFO)

Sections

Buy it now

eBook USD 49.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 59.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 (9 chapters)

  1. Front Matter

    Pages I-XI
    PDF

  2. Einführung

    1. Was ist Logische Programmierung?

      • Norbert E. Fuchs
      Pages 1-5

  3. Prolog

    1. Reines Prolog

      • Norbert E. Fuchs
      Pages 6-27

    2. Volles Prolog

      • Norbert E. Fuchs
      Pages 28-67

    3. Prolog-Programmiertechniken

      • Norbert E. Fuchs
      Pages 68-87

  4. Logische Grundlagen

    1. Logik zur Wissensrepräsentation

      • Norbert E. Fuchs
      Pages 88-112

    2. Logische Inferenz

      • Norbert E. Fuchs
      Pages 113-149

  5. Anwendungen

    1. Suchverfahren

      • Norbert E. Fuchs
      Pages 150-166

    2. Logische Grammatiken

      • Norbert E. Fuchs
      Pages 167-183

    3. Metainterpreter

      • Norbert E. Fuchs
      Pages 184-214

  6. Back Matter

    Pages 215-224
    PDF
Back to top

About this book

Das Buch ist eine Einführung in die logische Programmierung in der Form eines Kurses, in dem die Grundlagen der logischen Programmierung, die logische Programmiersprache Prolog und ihre Programmierpraxis, sowie einige Anwendungen vorgestellt werden. Nach einer kurzen Begriffsbestimmung der logischen Programmierung wird das sogenannte reine Prolog als Programmiersprache anhand von Beispielen eingeführt. Die logischen Hintergründe werden dabei nur angedeutet. Anschließend werden die Erweiterungen vorgestellt, die Prolog zur vollen Programmiersprache machen. Es folgen etablierte Programmiertechniken, die Prolog wie jede andere Programmiersprache besitzt. Mit diesen Vorkenntnissen ist es nun leichter, die theoretischen Grundlagen der logischen Programmierung zu verstehen. Es wird gezeigt, wie Logik zur Wissensdarstellung und zur Ableitung von weiterem Wissen verwendet werden kann. Ferner wird der Weg von der Prädikatenlogik zur logischen Programmiersprache Prolog nachvollzogen. Den Schluß bilden Anwendungen aus den Gebieten wissensbasierte Systeme und Computerlinguistik.
Back to top

Keywords

Back to top

Authors and Affiliations

  • Institut fü Informatik, Universität Zürich, Schweiz

    Norbert E. Fuchs

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 49.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 59.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

Search

Navigation