+612 9045 4394
Logic Programming in Action : Second International Logic Programming Summer School, Lpss '92, Zurich, Switzerland, September 7-11, 1992. Proceedings - Gerard Comyn

Logic Programming in Action

Second International Logic Programming Summer School, Lpss '92, Zurich, Switzerland, September 7-11, 1992. Proceedings

By: Gerard Comyn (Editor), Norbert E. Fuchs (Editor), M.J. Ratcliffe (Editor)

Paperback Published: 25th August 1992
ISBN: 9783540559306
Number Of Pages: 330

Share This Book:


or 4 easy payments of $33.88 with Learn more
Ships in 5 to 9 business days

Logic programming enjoys a privileged position. It is firmlyrooted in mathematical logic, yet it is also immenselypractical, as a growing number of users in universities,research 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.

Theory and Practice in Logic Programmingp. 1
Constraint Logic Programmingp. 3
Scheduling and Optimisation in the Automobile Industryp. 36
Factory Scheduling Using Finite Domainsp. 45
The Prince Project and Its Applicationsp. 54
A (Gentle) Introduction to Deductive Databasesp. 64
Knowledge Based PPS Applications in PROTOS-Lp. 80
The SECReTS Banking Expert System from Phase 1 to Phase 2p. 91
Logic Engineering and Clinical Dilemmasp. 100
A Knowledge-Based Approach to Strategic Planningp. 109
Expert Systems in Miningp. 118
Natural and Formal Language Processingp. 127
Pundit - Natural Language Interfacesp. 176
The ESTEAM-316 Dialogue Managerp. 186
Legislation as Logic Programsp. 203
Knowledge Representation for Natural Language Processingp. 231
A Set of Tools for VHDL Designp. 242
Tutorial Notes: Reasoning About Logic Programsp. 252
Software Formal Specification by Logic Programming: The Example of Standard Prologp. 278
The Art of Computer Un-Programming: Reverse Engineering in Prologp. 290
OPIUM - An Advanced Debugging Systemp. 303
Automatic Theorem Proving Within the Portable AI Labp. 313
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540559306
ISBN-10: 3540559302
Series: Lecture Notes in Computer Science / Lecture Notes in Artific
Audience: General
Format: Paperback
Language: English
Number Of Pages: 330
Published: 25th August 1992
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 1.8
Weight (kg): 0.48