prolog v0.16