Introduction to Logic and Prolog Sabu Francis, B.Arch (Hons)
Introduction to logic and prolog - Part 1