Logic Programming and Nonmonotonic Reasoning: Comprehensive Guide by Vitalsource Technologies View product