Symbolic logic and prolog - Singh,Gurdev; Bhatia,Mandeep Singh (New Delhi Khanna Publishers, 2011)
Keywords: Computer Engineering