Prolog v0.5