Prolog v0.1