Prolog repo