Programming logic formulation - Farrell, Joyce (Boston, MA : Course Technology Cengage Learning, 2009)
Keywords: Logic programming