Логическое программирование представляет собой парадигму программирования, основанную на формальной логике. Программы формулируются в виде набора утверждений, позволяющих выводить новые факты и делать заключения на основе известных данных. Это направление программирования отличается от традиционных императивных языков тем, что акцентируется не на последовательности действий, а на логических отношениях между объектами. Это позволяет более естественно моделировать сложные системы и проблемы, где важна не только обработка данных, но и возможность рассуждения...

Среда программирования PC WorX является унифицированной средой разработки для программируемых логических контроллеров. Среда программирования PC WorX поставляется в комплекте для стартового комплекта ILC 131 Starterkit фирмы Phoenix Contact, однако имеется режим "симулирования", когда в режиме симулятора можно составлять функциональные блоковые диаграммы на графическом языке программирования стандарта МЭК 61131-3 Function Block Diagram (FBD). Детальное описание среды программирования PC WorX можно посмотреть по ссылкам: 1) учебное пособие: https://portfolio...