Ни для кого не секрет, что наш мир непрерывно развивается. В первую очередь это касается технического прогресса, и не многие люди осознают, что всё, чем мы пользуемся из этого самого технического прогресса связано с программированием. Не буду говорить про востребованность IT-специалистов и про количество этих самых специальностей, об этом знают уже все. В общем, вывод можно сделать один — за этим будущее! Но что такое программирование? Какие бывают языки программирования? Что это вообще такое? Я, как учитель информатики, отвечу на эти вопросы...

Для создания компьютерных программ используют разные модели программирования. В статье рассказываем о логическом программировании — что это такое, где применяется и какой язык необходим для этой модели. Логическое программирование — одна из возможных парадигм программирования. Она основывается на математической логике: программы задаются в форме логических утверждений и правил вывода. На основании заданных фактов формируются новые. Это упрощенная версия функционального программирования для математиков и лингвистов, которые обрабатывают символьную информацию...