Theory and Practice of Logic Programming (TPLP)

Book Reviews

• Logic in Computer Science: Modelling and Reasoning about Systems by Michael R. A. Huth and Mark D. Ryan, Cambridge University Press, 2000, ISBN 0521652006, (hardback), ISBN 0521656028, (paperback), Femke van Raamsdonk. (pp 123-125) [html] [pdf]

• Mathematical Logic for Computer Science (Second Revised Edition) by Mordechai Ben-Ari, Springer, 2001, paperback: ISBN 1-85233-319-7, Krzysztof R. Apt. (pp 123-124) [html] [pdf]

• Dynamic Logic by David Harel, Dexter Kozen and Jerzy Tiuryn, The MIT Press, ISBN 0-262-08289-6,Yde Venema. (pp 419-421) [html] [pdf]

• Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets by Domenico Cantone, Eugenio Omodeo, and Alberto Policriti, Springer, 2001, ISBN 0-387-95197-0, Agostino Dovier. (pp 125 - 128) [html] [pdf]

• Introduction to Constraint Databases by Peter Revesz. Texts in Computer Science, Springer-Verlag, 2002, ISBN 0-387-98729-0, xiv + 393 pages, 112 illustrations, hardcover, Bart Kuijpers. (pp 765 - 767) [html] [pdf]

• Programming Constraint Services: High level Programming of Standard and New Constraint Services by Christian Schulte. Springer 2002, LNAI 2302, ISBN 3-540-43371-6, François Laburthe. (pp 233 - 235) [html] [pdf]

• Knowledge Representation, Reasoning and Declarative Problem Solving by Chitta Baral, Cambridge University press, 2003, ISBN 0-521-81802-8, Miroslaw Truszczynski. (pp 237 - 239) [html] [pdf]

• Eric Monfroy: Essentials of Constraint Programming by Thom Fruhwirth and Slim Abdennadher, Springer, 2003, hard cover: ISBN 3-540-67623-6, ix + 145 pages. (pp 381-382) [html] [pdf]

• Femke van Raamsdonk: Book review: Advanced Topics in Term Rewriting by Enno Ohlebusch, Springer-Verlag, 2002, hard cover: ISBN 0-387-95250-0, xi + 414 pages. (pp 539-541) [html] [pdf]

• Peter Flach: Book review: Logic for Learning: Learning Comprehensible Theories from Structured Data by by John W. Lloyd, Springer-Verlag, 2003, hard cover: ISBN 3-540-42027-4, x + 256 pages. (pp 753-755) [html] [pdf]

• Roland H.C. Yap: Book review: Constraint Processing by Rina Dechter, Morgan Kaufmann Publishers, 2003, hard cover: ISBN 1-55860-890-7, xx + 481 pages (pp 755-757) [html] [pdf]

• Francesca Rossi: Book review: Principles of Constraint Programming by Krzysztof R. Apt, Cambridge University Press, 2003, hard cover: ISBN 0-521-82583-0, xii + 407 pages. (pp 758-762) [html] [pdf]

• Bart Demoen: Programming in Prolog. Using the ISO Standard by William F. Clocksin , Christopher S. Mellish, Springer-Verlag, 2003, ISBN 3-540-00678-8, xiii + 299 pages [html] [pdf]
  

• Nachum Dershowitz: Term Rewriting Systems by Marc Bezem, Jan Willem Klop, and Roel de Vrijer, eds., Cambridge University Press, Cambridge Tracts in Theoretical Computer Science 55, 2003, hard cover: ISBN 0-521-39115-6, xxii + 884 pages [html] [pdf]
  

• Yves Deville: Concepts, Techniques, and Models of Computer Programming by Peter Van Roy and Seif Haridi, MIT Press, 2004, hard cover: ISBN 0-262-22069-5, xxvii + 900 pages, 55 US$ [html] [pdf]
  

• Victor W. Marek: Explanatory Nonmonotonic Reasoning by Alexander Bochman, World Scientific Publishing, Hardback: ISBN 981-256-101-3, Price: $68.00 xiv + 408 pages. [html] [pdf]
  

• Bart Demoen: Learn Prolog Now! by Patrick Blackburn, Johan Bos, Kristina Striegnitz, College Publications, 2006 Paperback: ISBN 1-904987-17-6, Price: £12 xiv + 265 pages. [html] [pdf]
  

• Peter Stuckey: Constraint Logic Programming using ECLiPSe by Krzysztof Apt and Mark Wallace, Cambridge University Press, 2007, ISBN 0521866286, 9780521866286, Price: £35.00, 329 pages [html] [pdf]
  

• Femke van Raamsdonk: Lambda-Calculus and Combinators, an Introduction, 2nd Edition by J. Roger Hindley and Jonathan P. Seldin Cambridge University Press, 2008, Hardback, ISBN-13: 9780521898850, $ 70.00 [html] [pdf]
  

• Jeremy Avigad: Handbook of Practical Logic and Automated Reasoning, by John Harrison Cambridge University Press, 2009 Hardback, ISBN-13: 9780521899574) £75.00 [html] [pdf]
  

• Eric Monfroy: Constraint Handling Rules by Thom Fr\"{u}hwirth Cambridge University Press, 2009, hard cover: ISBN 978-0-521-87776-3. £45 [html] [pdf]
  

• Marijn Heule: Introduction to Mathematics of Satisfiability by Victor W. Marek Chapman & Hall/CRC, 2009 Hardback, ISBN-13: 9781439801673, $ 89.95 [html] [pdf]
  

• Wei Li: Mathematical Logic by Rosella Gennari. Birkhauser, 2010 Hardback, ISBN-13: ISBN-978-3-7643-9976-4, about $ 70 [html] [pdf]