о, хорошая тема. (Тоже хотел бы) Но чем тебе Пролог поможет с практической точки зрения?
У меня есть привычка изучать что-то в хронологическом порядке. Если я сразу возьму какую-то Coq/Isabelle, то я не пойму мотивации - а зачем было отказываться от того же Prolog? Поэтому стараюсь пройти основные этапы развития в какой-то области