Symbolic logic and prolog - Sing, Gurdev (Khanna Book Pub. Co., 2011)