Опубликован видеокурс "Логическое программирование"

Курс предназначен для студентов, специализирующихся в области компьютерных наук, и знакомит их с парадигмой программирования, основанной на логике предикатов, которая отличается от наиболее широко распространенного в современном программировании императивного подхода.
Курс содержит достаточно подробное изложение теоретических основ логического подхода к программированию, а также служит практическим пособием по современным языкам логического программирования – Пролог и Mercury – которые могут использоваться и используются для разработки исследовательских и промышленных систем наряду с более традиционными императивными языками.
Повышение квалификации: http://www.intuit.ru/speciality/intuitdpo/logicp/ (официальный диплом + подарок)
Ссылка на курс: http://www.intuit.ru/department/pl/logicp/ #новости