Category: Book Announcement

Book Announcement: Constraint Solving and Planning with Picat

Constraint Solving and Planning with Picat By Neng-Fa Zhou Håkan Kjellerstrand, Jonathan Fruhman Abstract The book introduces a new logic-based multi-paradigm programming language that integrates logic programming, functional programming, dynamic programming with tabling, and scripting, for use in solving combinatorial…

Book Announcement

Communicated by Krzysztof Apt

Antoni Niederlinski
A Gentle Guide to Constraint Logic Programming
via ECLiPSe Third edition, 2014, 570 p. ISBN 978-83-62652-08-2

The book is freely downloadable from