Розглянуто недоліки існуючої мови PROLOG для розв'язання логічних задач. Для прикладу взято класичну задачу на комбінаторний перебір варіантів. Показано, що розв'язок буде елементарним, якщо ввести оператори типу "припустимо, що існує ..." та "припустимо, відсутнє ...". Створено програмне ядро для реалізації нової версії мови PROLOG.

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