Logo
Курсы валют:
  • Обменный курс USD по ЦБ РФ на 20.04.2024 : 93,4409
  • Обменный курс EUR по ЦБ РФ на 20.04.2024 : 99,5797

Логическое программирование

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