Kausik, saroj Logic and prolog programming - Vidhyanagar Neal age 2007 ISBN: 981-243-123-3 Dewey Class. No.: 5.133 / KAU