Висвітлюються основні підходи і засоби програмування в Пролозі (мова логічного програмування) з використанням різноманітних структур даних у програмуванні та їх застосування при побудові ефективних алгоритмів. Наведена загальна характеристика логічного програмування і математичної основи логічних мов програмування. Особлива увага приділяється питанням побудов виведення. Описуються базові структури мови, методи їх використання, аналіз роботи зі змінними, розглядається спосіб їх співставлення, а також наведено контрольні задачі. Аналізуються базові структури програми і процес бектрекінгу, основні підходи до побудови керування, методи зміни стандартного процесу виконання програми за рахунок використання предикатів cut, fail, not. Дається характеристика основ побудови складних структур даних і їх застосування (продукційні системи, семантичні мережі, фрейми). Викладені основні підходи до реалізації ітераційних дій, рекурсії, моделювання циклів тощо.

• Глибовець Микола Миколайович (1957–) (фізико-математичні науки)
• Кравченко Ірина Володимирівна (педагогічні науки)
• Кравченко Ірина Володимирівна (сільськогосподарські науки)
• Кравченко Іван Віталійович (педагогічні науки)
• Кравченко Інна Василівна (технічні науки)
• Олецький Олексій Віталійович (технічні науки)
• Терещенко Василь Миколайович (фізико-математичні науки)
• Терещенко Вікторія Миколаївна (хімічні науки)
• Терещенко Василь Миколайович (філологічні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"