Ответ 1
Единственный Пролог в JavaScript, который я знаю, YieldProlog, но я не пробовал его широко, только код, доступный в QueryEditor.
Я надеялся, что с использованием конструкции доходности он был легким (я использовал эту конструкцию в С#, и я нашел ее - в паре с лямбдой - довольно мощным).
Но когда я проверил (суммарно) источник, я нашел его действительно сложным, несмотря на предположения.
изменить
Я недавно нашел эти материалы, которые кажутся действительно интересными: proscript и proscript2.