Я не могу найти никакой информации об этом в Интернете ... Я также новичок в Prolog ...
Мне кажется, что Prolog может быть очень параллельным, возможно, пробуя сразу много возможностей, когда пытаясь соответствовать правилу. Являются ли современные компиляторы / интерпретаторы Пролога по своей сути * параллельными? Какие? Параллелизм включен по умолчанию? Нужно ли мне как-то его включать?
* Меня не интересует многопоточность, только присущий параллелизм.