Remove verbose prolog examples