Как технически работает Prolog? Что под капотом?

Я хочу больше узнать о внутреннем устройстве Пролога и понять, как это работает.

Я знаю, как его использовать. Но не то, как это работает внутри. Как называются алгоритмы и концепции, используемые в Прологе?

Вероятно, он строит какую-то древовидную структуру или ориентированный граф объектов, а затем по запросам перемещается по этому графу с помощью сложного алгоритма. Может быть, поиск в глубину. Там может быть какой-то исходный код, но было бы здорово сначала прочитать об этом с точки зрения высокого уровня.

Я действительно новичок в AI, и понимание Prolog кажется отличным способом для начала, imho. Моя идея состоит в том, чтобы попытаться перестроить что-то подобное и полностью пропустить парсер. Мне нужно знать направления, в которых я должен проводить свои исследования.