+612 9045 4394
 
CHECKOUT
ALPUK'92 : Proceedings of the 4th U. K. Annual Conference on Logic Programming, London, 30 March - 01 April 1992 : Workshops in Computing - Krysia B. Broda

ALPUK'92 : Proceedings of the 4th U. K. Annual Conference on Logic Programming, London, 30 March - 01 April 1992

Workshops in Computing

By: Krysia B. Broda (Editor)

Paperback ISBN: 9783540197836
Number Of Pages: 355

Share This Book:

Paperback

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

Since its conception nearly 20 years ago, logic programming has been developed to the point where it now plays an important role in areas such as database theory, artificial intelligence and software engineering. There are, however, still many outstanding research issues which need to be addressed, and the UK branch of the Association for Logic Programming was set up to provide a forum where the flourishing research community could discuss important issues which were often by- passed at the larger international conferences. This volume contains the invited papers, refereed papers and tutorials presented at the 4th ALPUK Conference, which aimed to broaden the frontiers of logic programming by encouraging interaction between it and other related disciplines. The papers cover a variety of technical areas, including concurrent logic languages and their semantics, applications of logic languages to other (non-classical) logical systems, modules, types and error-handling, and the distributed execution of Prolog programs. The wide scope of the papers refelects the breadth of interest in this important area of computer science. ALPUK 92 provides a comprehensive overview of current progress being made in logic programming research. It will be of interest to all workers in the field, especially researchers, postgraduate students, and research and development workers in industry.

Program Analysis
Rewriting Concepts in the Study of Termination of Logic Programsp. 3
Metric Characterizations of Contextual Logic Programsp. 21
Static Analysis for the Synthesis of Eureka Properties for Transforming Logic Programsp. 41
An Algorithm for Finite Approximations of Definite Programs and its Implementation in Prologp. 62
Language and Implementation Issues
Soft Sorting in Logic Programmingp. 79
Modularity for Logic Programsp. 97
SEL Compiler and Abstract Analyzersp. 108
Disciplined Exceptions in Logic Programmingp. 124
Parallelism
On the Semantics of Concurrent Constraint Programmingp. 145
L2 02: Operational and Declarative Semanticsp. 174
The DelPhi Multiprocessor Inference Machinep. 189
Applications in Logic
Horn Clause Logic 1992p. 201
From a Hilbert Calculus to its Model Theoretic Semanticsp. 218
Logic Programming via Proof-valued Computationsp. 253
An Amalgamated Temporal Logicp. 263
Tutorials
An Introduction to Godelp. 299
Parallel Logic Programming in Strand: A Tutorialp. 344
Author Indexp. 355
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540197836
ISBN-10: 3540197834
Series: Workshops in Computing
Audience: General
Format: Paperback
Language: English
Number Of Pages: 355
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: GB
Dimensions (cm): 23.39 x 15.6  x 1.93
Weight (kg): 0.51