prolog v0.6