Published by Springer-Verlag. 2013. ISBN: 978-1-4471-5486-0 (Print) ISBN: 978-1-4471-5487-7 (Online)
This second edition has been revised to be fully compatible with SWI-Prolog, a popular multi-platform public domain implementation of the language. Additional chapters have been added covering the use of Prolog to analyse English sentences and to illustrate how Prolog can be used to implement applications of an 'Artificial Intelligence' kind.
There are no known errors in this edition (as at October 30th 2015).