Renamed PrologImplementor to PrologImplementation. Renamed PrologImpl to
PrologReferenceImplementation.