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), Michael J. Ratcliffe (Editor)

Write A Review

Paperback | 25 August 1992

At a Glance

Paperback
340 Pages

Dimensions(cm)
23.39 x 15.6 x 1.8

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Aims to ship in 7 to 10 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Science Computer Architecture & Logic Design Computer Programming & Software Development Object-Oriented Programming or OOP Artificial Intelligence Software Engineering Mathematics Mathematical Foundation Mathematical Logic Business & Management

Business Mathematics & Systems Graphical & Digital Media Applications

Theory and Practice in Logic Programming	p. 1
Constraint Logic Programming	p. 3
Scheduling and Optimisation in the Automobile Industry	p. 36
Factory Scheduling Using Finite Domains	p. 45
The Prince Project and Its Applications	p. 54
A (Gentle) Introduction to Deductive Databases	p. 64
Knowledge Based PPS Applications in PROTOS-L	p. 80
The SECReTS Banking Expert System from Phase 1 to Phase 2	p. 91
Logic Engineering and Clinical Dilemmas	p. 100
A Knowledge-Based Approach to Strategic Planning	p. 109
Expert Systems in Mining	p. 118
Natural and Formal Language Processing	p. 127
Pundit - Natural Language Interfaces	p. 176
The ESTEAM-316 Dialogue Manager	p. 186
Legislation as Logic Programs	p. 203
Knowledge Representation for Natural Language Processing	p. 231
A Set of Tools for VHDL Design	p. 242
Tutorial Notes: Reasoning About Logic Programs	p. 252
Software Formal Specification by Logic Programming: The Example of Standard Prolog	p. 278
The Art of Computer Un-Programming: Reverse Engineering in Prolog	p. 290
OPIUM - An Advanced Debugging System	p. 303
Automatic Theorem Proving Within the Portable AI Lab	p. 313
Table of Contents provided by Blackwell. All Rights Reserved.

Logic Programming in Action

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

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Object-Oriented Programming or OOP

Effective Modern C++

42 Specific Ways to Improve Your Use of C++11 And C++14

C++ Software Design

Design Principles and Patterns for High-Quality Software

Programming Rust

Fast, Safe Systems Development 2nd Edition

Head First Design Patterns

Building Extensible and Maintainable Object-Oriented Software 2nd Edition

Object-Oriented and Classical Software Engineering - Global Edition

8th Edition

Objects First with Java 6ed

A Practical Introduction Using BlueJ, Global Edition

Head First Python

3rd Edition - A Learner's Guide to the Fundamentals of Python Programming, a Brain-Friendly Guide

Programming C# 12

Build Cloud, Web, and Desktop Applications

Programming Python

OREILLY

Getting Started with Arduino 4e

The Open Source Electronics Prototyping Platform

Introducing Python

Modern Computing in Simple Packages

Mastering Regular Expressions

OREILLY

Effective Rust

35 Specific Ways to Improve Your Rust Code

Powerful Python

Patterns and Strategies with Modern Python

Object-Oriented Analysis, Design and Implementation

An Integrated Approach

Async Rust

Unleashing the Power of Fearless Concurrency

21st Century C

C++ Crash Course, 2nd Edition

A Fast-Paced Introduction

C++ - The Core Language

Nutshell Handbooks

Secure Programming Cookbook for C & C++

Cookbooks Ser.

UML 2.0 in a Nutshell

In a Nutshell (O'Reilly)

The Productive Programmer

Theory in Practice (O'Reilly)

97 Things Every Programmer Should Know

OREILLY

Java 9 Modularity

Patterns and Practices for Developing Maintainable Applications

This product is categorised by