Розглянуто недоліки існуючої мови PROLOG для розв’язання логічних задач. Для прикладу взята класична задача на комбінаторний перебір варіантів. Показано, що розв’язок буде елементарним, якщо ввести оператори типу “припустимо, що існує ...” та “припустимо, відсутнє ...”. Авторами створено програмне ядро для реалізації нової версії мови PROLOG.
The most distinct disadvantages of the PROLOG language for solving the logical problems are presented in the article. A classical problem on combinatorial depth-first search was given as an example. It is shown that the solution will be elementary in case of putting into the new type of operations “something is supposed to exist” and “something is supposed to be absent”. The kernel of the program for the realization of the new language was created by the authors.
- Братко И. Программирование на языке Пролог для искусственного интеллекта: Пер. с англ. – М.: Мир, 1990. – 560 с.
- Стерлинг Л., Шапиро Э. Искусство программирования на языке ПРОЛОГ: Пер. с англ. – М.: Мир, 1990. – 333 с.