> Да только пролог если и изучают, то в МАГИСТРАТУРЕ или на последний
> курсах бакалавриата.
> На первых курсах, поскольку многие студенты никаких ЯП толком не знают, обычно
> изучают Си, потом - плюсЫ.
> Иначе никакой пролог студенты тупо не поймут.

По идиотски сделано, потому что. На счёт Си и плюсов не согласен. Си может идти где-нибудь около "архитектуры ЭВМ", для него, по хорошему, вообще отдельный курс не нужен. А плюсы... нужно учить только потому, что "на них работают", на четвёртом курсе. Идей в ++ нет, а геморроя много. Но тому, кто не пойдёт в магистратуру, рабочий инструмент, а магистранта не жалко.

А Пролог штука мозголомная, но интерактивная. На первом курсе хорошо ломать шаблоны.

> Но матлогика показалась вполне интересным и простым предметом.. тем более, что на
> не_специализированных направлениях( которые скорее именно абстрактная математика чем
> программирование ) матлогику изучают не более 1 семестра, как и линейную
> алгебру и многое иное в рамках "базового" курса( первые 1-2 года
> обучения в универе ).

А как вы ей пользуетесь?