An introduction to logic programming through Prolog Author: Michael Spivey Draft date: 22/11/2008 Copyright c Prentice–Hall International 1995 To appear in February 1996.…
