
Logic Programming
The 12th International Conference
Leon S. Sterling(Editor)
MIT Press
Published on 16. June 1995
Book
Paperback/Softback
854 pages
978-0-262-69177-2 (ISBN)
Description
Topics covered: Theoretical Foundations. Higher-Order Logics. Non-Monotonic Reasoning. Programming Methodology. Programming Environments. Extensions to Logic Programming. Constraint Satisfaction. Meta-Programming. Language Design and Constructs. Implementation of Logic Programming Languages. Compilation Techniques. Architectures. Parallelism. Reasoning about Programs. Deductive Databases. Applications.13-16 June 1995, Tokyo, Japan ICLP, which is sponsored by the Association for Logic Programming, is one of two major annual international conferences reporting recent research results in logic programming. Logic programming originates from the discovery that a subset of predicate logic could be given a procedural interpretation which was first embodied in the programming language, Prolog. The unique features of logic programming make it appealing for numerous applications in artificial intelligence, computer-aided design and verification, databases, and operations research, and for exploring parallel and concurrent computing. The last two decades have witnessed substantial developments in this field from its foundation to implementation, applications, and the exploration of new language designs.Topics covered: Theoretical Foundations. Higher-Order Logics. Non-Monotonic Reasoning. Programming Methodology. Programming Environments. Extensions to Logic Programming. Constraint Satisfaction. Meta-Programming. Language Design and Constructs. Implementation of Logic Programming Languages. Compilation Techniques. Architectures. Parallelism. Reasoning about Programs. Deductive Databases. Applications. Logic Programming series, Research Reports and Notes
More details
Series
Language
English
Place of publication
Cambridge, Mass.
United States
Publishing group
MIT Press Ltd
Target group
College/higher education
Professional and scholarly
US School Grade: From College Freshman to College Graduate Student
Product notice
Paperback (trade)
Dimensions
Height: 226 mm
Width: 178 mm
Thickness: 53 mm
Weight
1588 gr
ISBN-13
978-0-262-69177-2 (9780262691772)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Person
Editor
Professor and Chair of Software Innovation and EngineeringThe University of Melbourne