Prolog v0.2