prolog v0.7