prolog v0.9