prolog v0.8