Vitalsource Technologies, Inc. Logic Programming And Nonmonotonic Reasoning