Foundations of Logic Programming by John William Lloyd | Menrva Books | MenrvaBooks