Prolog: The Next 50 Years
Title | Prolog: The Next 50 Years PDF eBook |
Author | David S. Warren |
Publisher | Springer Nature |
Total Pages | 399 |
Release | 2023-06-16 |
Genre | Computers |
ISBN | 3031352548 |
This volume was motivated by the Year of Prolog initiative, launched to celebrate the 50th anniversary of the emergence of Prolog through the work of Alain Colmerauer’s team in Marseille. The volume editors, authors, and scientific advisors and reviewers have been the leading researchers and programmers in this field over decades, and the book represents an excellent overview of the field, its successes, and its future. After a first chapter that gently introduces the Prolog programming language using examples, the next 7 papers discuss general views of the language, possible extensions for the future, and how Prolog can generally be used to solve problems; the next 5 papers explore ideas and experiences of teaching Prolog programming and then 2 papers discuss technology that has been developed for help in that teaching; the next 3 papers describe new languages based on Prolog which show future directions for logic programming; the next 5 chapters explain the applications that were the finalists for the 2022 Alain Colmerauer Prize; and the final 8 papers describe applications developed using the Prolog language, demonstrating the language’s range.
An Introduction to Logic Programming Through Prolog
Title | An Introduction to Logic Programming Through Prolog PDF eBook |
Author | J. M. Spivey |
Publisher | |
Total Pages | 232 |
Release | 1996 |
Genre | Computers |
ISBN |
Logic programming has increasing significance in computer science beyond the current fashion for expert systems. This book takes a software engineering rather than an expert systems/AI approach and covers logical theory, practical programming and PROLOG im
Artificial Intelligence in Chemical Engineering
Title | Artificial Intelligence in Chemical Engineering PDF eBook |
Author | Thomas E. Quantrille |
Publisher | Elsevier |
Total Pages | 634 |
Release | 2012-12-02 |
Genre | Technology & Engineering |
ISBN | 0080571212 |
Artificial intelligence (AI) is the part of computer science concerned with designing intelligent computer systems (systems that exhibit characteristics we associate with intelligence in human behavior). This book is the first published textbook of AI in chemical engineering, and provides broad and in-depth coverage of AI programming, AI principles, expert systems, and neural networks in chemical engineering. This book introduces the computational means and methodologies that are used to enable computers to perform intelligent engineering tasks. A key goal is to move beyond the principles of AI into its applications in chemical engineering. After reading this book, a chemical engineer will have a firm grounding in AI, know what chemical engineering applications of AI exist today, and understand the current challenges facing AI in engineering. Allows the reader to learn AI quickly using inexpensive personal computers Contains a large number of illustrative examples, simple exercises, and complex practice problems and solutions Includes a computer diskette for an illustrated case study Demonstrates an expert system for separation synthesis (EXSEP) Presents a detailed review of published literature on expert systems and neural networks in chemical engineering
Programming in Prolog
Title | Programming in Prolog PDF eBook |
Author | W. F. Clocksin |
Publisher | Springer Science & Business Media |
Total Pages | 292 |
Release | 2012-12-06 |
Genre | Computers |
ISBN | 3642966616 |
The computer programming language Prolog is quickly gaining popularity throughout the world. Since Its beginnings around 1970. Prolog has been chosen by many programmers for applications of symbolic computation. including: D relational databases D mathematical logic D abstract problem solving D understanding natural language D architectural design D symbolic equation solving D biochemical structure analysis D many areas of artificial Intelligence Until now. there has been no textbook with the aim of teaching Prolog as a practical programming language. It Is perhaps a tribute to Prolog that so many people have been motivated to learn It by referring to the necessarily concise reference manuals. a few published papers. and by the orally transmitted 'folklore' of the modern computing community. However. as Prolog is beginning to be Introduced to large numbers of undergraduate and postgraduate students. many of our colleagues have expressed a great need for a tutorial guide to learning Prolog. We hope this little book will go some way towards meeting this need. Many newcomers to Prolog find that the task of writing a Prolog program Is not like specifying an algorithm in the same way as In a conventional programming language. Instead. the Prolog programmer asks more what formal relationships and objects occur In his problem.
The Craft of Prolog
Title | The Craft of Prolog PDF eBook |
Author | Richard O'Keefe |
Publisher | MIT Press |
Total Pages | 417 |
Release | 2009-12-07 |
Genre | Computers |
ISBN | 0262512270 |
The emphasis in The Craft of Prolog is on using Prolog effectively. It presents a loose collection of topics that build on and elaborate concepts learned in a first course. Hacking your program is no substitute for understanding your problem. Prolog is different, but not that different. Elegance is not optional. These are the themes that unify Richard O'Keefe's very personal statement on how Prolog programs should be written. The emphasis in The Craft of Prolog is on using Prolog effectively. It presents a loose collection of topics that build on and elaborate concepts learned in a first course. These may be read in any order following the first chapter, "Basic Topics in Prolog," which provides a basis for the rest of the material in the book. Richard A. O'Keefe is Lecturer in the Department of Computer Science at the Royal Melbourne Institute of Technology. He is also a consultant to Quintus Computer Systems, Inc.Contents: Basic Topics in Prolog. Searching. Where Does the Space Go? Methods of Programming. Data Structure Design. Sequences. Writing Interpreters. Some Notes on Grammar Rules. Prolog Macros. Writing Tokenisers in Prolog. All Solutions.
Congressional Record
Title | Congressional Record PDF eBook |
Author | United States. Congress |
Publisher | |
Total Pages | 1394 |
Release | 1972 |
Genre | Law |
ISBN |
The Congressional Record is the official record of the proceedings and debates of the United States Congress. It is published daily when Congress is in session. The Congressional Record began publication in 1873. Debates for sessions prior to 1873 are recorded in The Debates and Proceedings in the Congress of the United States (1789-1824), the Register of Debates in Congress (1824-1837), and the Congressional Globe (1833-1873)
Learn Prolog Now!
Title | Learn Prolog Now! PDF eBook |
Author | Patrick Blackburn |
Publisher | |
Total Pages | 265 |
Release | 2006 |
Genre | Computers |
ISBN | 9781904987178 |
Prolog is a programming language, but a rather unusual one. Prolog'' is short for Programming with Logic'', and the link with logic gives Prolog its special character. At the heart of Prolog lies a surprising idea: don't tell the computer what to do. Instead, describe situations of interest, and compute by asking questions. Prolog will logically deduce new facts about the situations and give its deductions back to us as answers. Why learn Prolog? For a start, its say what the problem is, rather than how to solve it'' stance, means that it is a very high level language, good for knowledge rich applications such as artificial intelligence, natural language processing, and the semantic web. So by studying Prolog, you gain insight into how sophisticated tasks can be handled computationally. Moreover, Prolog requires a different mindset. You have to learn to see problems from a new perspective, declaratively rather than procedurally. Acquiring this mindset, and learning to appreciate the links between logic and programming, makes the study of Prolog both challenging and rewarding. Learn Prolog Now! is a practical introduction to this fascinating language. Freely available as a web-book since 2002 (see www.learnprolognow.org) Learn Prolog Now! has became one of the most popular introductions to the Prolog programming language, an introduction prized for its clarity and down-to-earth approach. It is widely used as a textbook at university departments around the world, and even more widely used for self study. College Publications is proud to present here the first hard-copy version of this online classic. Carefully revised in the light of reader's feedback, and now with answers to all the exercises, here you will find the essential material required to help you learn Prolog now.