Singh,Gurdev Symbolic logic and prolog - 1st Ed. - New Delhi Khanna Publishers 2011 - 438 ISBN: 978-93-81068-36-6 Subjects--Topical Terms: Computer Engineering Dewey Class. No.: 5.133 / SI-S