Показано, що кожний модифікаційний предикатний запит є еквівалентним деякій Prolog-програмі, із заданою множиною обмежень. Запропоновано формально-логічне визначення для процедури відображення множини модифікаційних предикатних запитів на множину логічних Prolog-програм у межах підходу на основі семантики стабільних моделей.

• Шекета Василь Іванович (технічні науки)

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