This bestselling guide to Prolog has been fully revised and extended to provide an even greater range of applications, enhancing its value as a stand-alone guide to Prolog, Artificial Intelligence or AI programming for professional programmers and students alike.