Vitalsource Technologies, Inc. Implementation Of Prolog