Logic and prolog programming - Kausik, saroj (Vidhyanagar Neal age, 2007)