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

На сегодняшний день существует большое количество различных компьютеров, гаджетов, устройств умного дома и прочего оборудования, которое содержит внутри логический микропроцессор. Он выполняет заранее прописанные в коде функции и алгоритмы. Такие устройства очень полезны, но что делать, когда вы сталкиваетесь с задачей автоматизации оборудования, которому хотите задать свою логику работы? В таком случае приходят на помощь свободно программируемые логические контроллеры, сокращенно ПЛК. ПЛК возник в конце 1960-х годов в автомобильной промышленности США и был разработан для замены релейных логических систем...