Logic programming by Robert Kowalski | Menrva Books | MenrvaBooks