## Logic Programming in Action: Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992. ProceedingsLogic 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. |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

Introduction | x |

Scheduling and Optimisation in the Automobile Industry | 36 |

The Prince Project and Its Applications | 54 |

Knowledge Based PPS Applications in PROTOSL | 80 |

Logic Engineering and Clinical Dilemmas | 100 |

Expert Systems in Mining | 118 |

### Other editions - View all

Logic Programming in Action Gerard Comyn,Norbert E. Fuchs,Michael J. Ratcliffe No preview available - 2014 |

### Common terms and phrases

abstraction additional algorithm allows analysis answer application approach arguments Artificial basic clauses complete computation consider consists constraint contains corresponding database decision deductive defined definition described developed domain employ equivalent example execution expert expression extended fact formal function give given goal grammar implemented important inference input instance integrity Intelligence interpretation knowledge knowledge base logic programming machine means methods module natural language objects operator particular performed person phrase planning possible practice predicate present problem procedural Proceedings production Prolog proof propagation proving quantifier query reasoning refer relation representation represented Research result rules scheduling semantics sentence simple solution solving specification standard statements step structure syntax task techniques theorem theory transformation translation tutor University variables