prolog v0.2