Логическое программирование появилось очень давно, а концепции, которые лежат в его основе (исчисление предикатов) вообще - в 19 веке.
Студентов технических специальностей традиционно грузят логическим программированием на предметах типа искусственного интеллекта. Кроме того, логическое программирование для чего то преподают в педагогических университетах будущим преподавателям информатики.
Зачем этот предмет изучается в ВУЗах? - есть ли реально области, в которых оно используется? - если возможно, приведите ссылки на проекты, разрабатывающиеся с применением Prolog, Datalog или хоть чего-нибудь такого.
Желательно актуальные проекты, а не японский национальный проект (который провалился в 90х годах) и не космический проект Буран (СССР), т.к. с одной стороны он закончен, а с другой - нет ни одного пруфлинка об использовании там пролога.
Пролог используется (есть проекты) и является перспективным или он умер и не нужен?
Добавить комментарий