Advertisement

Kurs in Logischer Programmierung

  • Norbert E. Fuchs

Part of the Springers Angewandte Informatik book series (SPINFO)

Table of contents

  1. Front Matter
    Pages I-XI
  2. Einführung

    1. Norbert E. Fuchs
      Pages 1-5
  3. Prolog

    1. Norbert E. Fuchs
      Pages 6-27
    2. Norbert E. Fuchs
      Pages 28-67
    3. Norbert E. Fuchs
      Pages 68-87
  4. Logische Grundlagen

    1. Norbert E. Fuchs
      Pages 88-112
    2. Norbert E. Fuchs
      Pages 113-149
  5. Anwendungen

    1. Norbert E. Fuchs
      Pages 150-166
    2. Norbert E. Fuchs
      Pages 167-183
    3. Norbert E. Fuchs
      Pages 184-214
  6. Back Matter
    Pages 215-224

About this book

Introduction

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.

Keywords

Algorithmen Computer Programmiersprache Programmiersprache A Programmierung Prolog Rack Simulation Test

Authors and affiliations

  • Norbert E. Fuchs
    • 1
  1. 1.Institut fü InformatikUniversität ZürichSchweiz

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-7091-9112-5
  • Copyright Information Springer-Verlag Vienna 1990
  • Publisher Name Springer, Vienna
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-211-82235-7
  • Online ISBN 978-3-7091-9112-5
  • Series Print ISSN 0178-0069
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Aerospace
Engineering