Logic and prolog programming - New Delhi New Age International (P) Limited 2014 - p.319 Subjects--Topical Terms: Computer Science