English Beginner An introduction to logic programming through Prolog J. M. Spivey,Michael Spivey 1996 View book