Logic Programming in Action

Gerard Comyn

ISBN 10: 3540559302 / ISBN 13: 9783540559306

Published by Springer Berlin Heidelberg Aug 1992, 1992

About this Item

This item is printed on demand - Print on Demand Titel. Neuware -Logic programming enjoys a privileged position. It is firmlyrooted in mathematical logic, yet it is also immenselypractical, as a growing number of users in universitiesresearch institutes, and industry are realizing. Logicprogramming languages, specifically Prolog, have turned outto be ideal as prototyping and application developmentlanguages.This volume presents the proceedings of the Second LogicProgramming Summer School, LPSS'92. The First LogicProgramming Summer School, LPSS '90, addressed thetheoretical foundations of logic programming. This volumefocuses onthe relationship between theory and practice, andon practical applications.The introduction to the volume is by R. Kowalski, one of thepioneers in the field. The following papers are organizedinto sections on constraint logic programming, deductivedatabases and expert systems, processing of natural andformal languages, software engineering, and education.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 340 pp. Englisch.

Seller Inventory # 9783540559306

Bibliographic Details

• Title: Logic Programming in Action
• Publisher: Springer Berlin Heidelberg Aug 1992
• Publication Date: 1992
• Language: English
• ISBN 10: 3540559302
• ISBN 13: 9783540559306
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 19D millimeters 235 millimeters width by 155 millimeters height by 19 millimeters depth
• Weight: 517 grams

About this title

Synopsis

Logic programming enjoys a privileged position. It is firmly rooted in mathematical logic, yet it is also immensely practical, as a growing number of users in universities, research institutes, and industry are realizing. Logic programming languages, specifically Prolog, have turned out to be ideal as prototyping and application development languages. This volume presents the proceedings of the Second Logic Programming Summer School, LPSS'92. The First Logic Programming Summer School, LPSS '90, addressed the theoretical foundations of logic programming. This volume focuses onthe relationship between theory and practice, and on practical applications. The introduction to the volume is by R. Kowalski, one of the pioneers in the field. The following papers are organized into sections on constraint logic programming, deductive databases and expert systems, processing of natural and formal languages, software engineering, and education.