Vitalsource Technologies, Inc. Probabilistic Inductive Logic Programming