Проблемы разработки языков логического программирования и их реализация на микро-ЭВМ (на примере языка ЯРУС–2)

Описаны новый язык логического программирования ЯРУС-2 и система автоматизации программирования на его основе, реализованная на микро-ЭВМ. Рассмотрены языковые средства описания взаимодействия параллельных дискретных процессов. Предложены схемы трансляции и структуры объектных логических программ, позволяющие совместить требования к компактности программ, к скорости вычислений и к возможностям отладки в терминах исходного языка.