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

Языки программирования. Язык программирования – это формальный язык или знаковая система, предназначенные для записи компьютерных программ. Как и в нашем языке здесь имеется лексика – слова, функции и операторы, из которых по правилам синтаксиса составляются выражения. Они имеют четкий и определенный смысл, понятный компьютеру - семантику. Самый первый высокоуровневый язык программирования был создан в период с 1943 по 1945 годы немецким инженером К. Цузе, и назывался Plankalkül - «запланированные вычисления». С того времени было придумано более 8 тысяч языков программирования (включая эзотерические, визуальные)...