Logo
Курсы валют:
  • Обменный курс USD по ЦБ РФ на 19.04.2024 : 94,0922
  • Обменный курс EUR по ЦБ РФ на 19.04.2024 : 100,5316

Логический язык программирования

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