remove the prolog implementation