На 4-ом курсе Радика мы проходили 2 интересных предмета: «Теория языков программирования и методы трансляции» и «Системы искусственного интеллекта». я сделала одну синтезированную курсовую работу и защитила её по обоим предметам.

Задача заключалась в том, чтобы преобразовать произвольную формулу к конъюнктивной нормальной форме (КНФ) — S1 * S2 * … * Sn — и записать её в виде множества S = { S1, S2, …, Sn }, где Si = L1 + L2 + … + Lk — дизъюнкция, Li — литерал (предикат или отрицание предиката).

Так я разработала язык программирования АЛЯ (адаптированный логический язык) и транслятор в КНФ.

Язык логического программирования Пролог оказался занимательным и необычным! Особенно интересен оператор отсечения. Он прерывает поиск с возвратом, делая невозможным возврат к подцелям или правилам, предшествующим отсечению.

Однако я никогда не сталкивалась с языками логического программирования в работе. А вы? Что вы думаете по этому поводу?

#прикольнаяработа