The First 10 Prolog Programming Contests
by Bart Demoen, Phuong-Lan Nguyen, Tom Schrijvers, Remko Troncon
Number of pages: 161
This book shows solutions to problems that were in the first 10 Prolog Programming Contests. The solutions in this book were not constructed by participants during the contest, since the contest rules always prevented that. However, many of our solutions could have been constructed during the contest under extreme time pressure, and so you will find many solutions using the generate and test strategy, together with a higher than usual deployment of member/2, append/3, findall/3 and even reverse/2. On the other hand, we have avoided dynamic predicates (except in the solution of two problems), and we have often preferred the Prolog if-then-else and once/1 predicate over the use of the !. We have also avoided comments in the programs.
Home page url
Download or read it online for free here:
by Patrick Blackburn, Johan Bos, Kristina Striegnitz - College Publications
One of the most popular introductions to Prolog, 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.
by Leon S. Sterling, Ehud Y. Shapiro - The MIT Press
Hitherto, knowledge of how to use Prolog for serious programming has largely been communicated by word of mouth. This textbook sets down and explains for the first time in an accessible form the deeper principles and techniques of Prolog programming.
by Patrick Blackburn, Kristina Striegnitz - Union College
Contents: Finite State Automata; Finite State Parsers and Transducers; Finite State Methods in Natural Language Processing; Recursive Transition Networks (RTNs); RTN transducers and ATNs; Definite Clause Grammars; Bottom Up, Top Down Parsing; etc.
by Attila Csenki - BookBoon
This is the first of two volumes by the author on the programming language Prolog and its applications. In the first volume you can read about the accumulator technique, difference lists, program manipulations and exploratory code development.