prolog v0.15