Я хочу узнать больше о внутренних компонентах Prolog и понять, как это работает.
Я знаю, как его использовать. Но не так, как это работает внутри страны. Каковы имена алгоритмов и понятий, используемых в Prolog?
Вероятно, он строит какую-то древовидную структуру или направленный графа объектов, а затем по запросам трассирует этот график со сложным алгоритмом. Возможно, поиск глубины. Там может быть некоторый исходный код, но было бы здорово прочитать об этом с точки зрения высокого уровня в первую очередь.
Я действительно новичок в AI и понимаю, что Prolog, кажется, отличный способ начать, imho. Моя идея - попытаться перестроить нечто подобное и полностью пропустить парсер. Мне нужно знать направления, в которых я должен выполнять свои исследовательские работы.