Logic Programming by Peter J. Stuckey | Menrva Books | MenrvaBooks