Learning Horn Envelopes via Queries from Large Language Models