Programmazione logica e Prolog PDF Download

Author: Luca Console
Publisher:
ISBN: 9788877500519
Category : Computers
Languages : it
Pages : 400

View

Book Description

Author: Franco Furlan
Publisher:
ISBN: 9788820426064
Category : Computers
Languages : it
Pages : 372

View

Book Description

Author: Anna-Lena Johansson
Publisher: Springer Science & Business Media
ISBN: 3642719228
Category : Computers
Languages : en
Pages : 299

View

Book Description
Prolog Versus You shows how you can take up the gauntlet of the logic programming language Prolog (PROgramming in LOGic) and use it as an obedient programming and problem solving tool. Logic programming emphasizes that programming is a human activity and consequently that programs should be easy for humans to write, understand and manipulate. In a program knowledge about the problem is stated in a logical language without consideration of the underlying machine language. This book has emerged from undergraduate courses in logic programming. The relation to logic is described and the necessary logic is provided continuously. No previous programming experience is assumed and it can be used by beginners as well as by advanced programmers. The book emphasizes the declarative reading of Prolog programs which greatly facilitates the thinking about the problems and yields programs easy to understand. The book covers logic programs, their execution and data structures; databases and expert systems; program synthesis, program correctness and program transformation as well as an efficient computation of Prolog programs. Each chapter ends with some exercises (with solutions). The book also contains a thorough index, appendices and a chapter on Prolog implementations: DECsystem-10 Prolog, Tricia, Quintus Prolog, MProlog, Turbo Prolog, micro-Prolog and LM-Prolog.

Author: Paolo Ciancarini
Publisher:
ISBN: 9788870565652
Category : Computers
Languages : it
Pages : 388

View

Book Description

Author: Max Bramer
Publisher: Springer Science & Business Media
ISBN: 1846282128
Category : Computers
Languages : en
Pages : 228

View

Book Description
Written for those who wish to learn Prolog as a powerful software development tool, but do not necessarily have any background in logic or AI. Includes a full glossary of the technical terms and self-assessment exercises.

Author: Pierre Deransart
Publisher: Springer Science & Business Media
ISBN: 3642614116
Category : Computers
Languages : en
Pages : 283

View

Book Description
From the viewpoint of an "industrial" this book is most welcome, as one of the most significant demonstrations of the maturity of Prolog. Logic programming is a fascinating area in computer science, which held for years - and still does - the promise of freeing ourselves from programming based on the "Von Neumann" machine. In addition computer programming has long been for solid theoretical foundations. While conventional engineering, dealing mainly with "analogical complexity", developed over some hundred years a complete body of mathematical tools, no such toolset was available for "digital complexity". The only mathematical discipline which deals with digital complexity is logic and Prolog is certainly the operational tool which comes closest to the logical programming ideal. So, why does Prolog, despite nearly twenty years of development, still appear to many today to be more of a research or academic tool, rather than an industrial programming language? A few reasons may explain this: First, I think Prolog suffers from having been largely assimilated into - and thus followed the fate of - Artificial Intelligence. Much hype in the late 1980 created overexpectations and failed to deliver, and the counterreaction threw both AI and Prolog into relative obscurity. In a way, maybe this is a new chance for the Prolog community: the ability to carry out real work and progress without the disturbance of limelights and the unrealistic claims of various gurus. Second, programming in Prolog is a new experience for computer professionals.

Author: Paolo Ciancarini
Publisher:
ISBN: 9788870568288
Category : Computers
Languages : it
Pages : 388

View

Book Description

Author: Ulf Nilsson
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 312

View

Book Description
Found within the confines of these pages is a well-written monograph that provides an intuitive account of both the foundations of logic programming and simple programming techniques in Prolog. Only the most important areas of logic programming are considered. The book covers foundations, programming in logic, and alternative logic programming schemes. Within each of these sections are comprehensive explorations covering areas such as SLD-resolution, negation in logic programming, logic and databases, logic and expert systems, logic and grammars, logic programming and concurrency, logic programs with equality, and constraint logic programming. In addition, there are bibliographical notes and answers to selected exercises.

Author: William F. Clocksin
Publisher:
ISBN: 9782540150117
Category : Prolog (Computer program language)
Languages : en
Pages : 0

View

Book Description

Author: Gerard Comyn
Publisher: Springer Science & Business Media
ISBN: 9783540559306
Category : Business & Economics
Languages : en
Pages : 338

View

Book Description
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.