prolog v0.14