Javascript кажется популярным как язык реализации для других языков программирования. Статья Легкая компиляция (C) LP на JavaScript. ICLP 2012 обратил мое внимание на это.
Существует много прототипов доказательств концепции для систем Prolog, написанных на Javascript в Интернете.
Каковы текущие, активно поддерживаемые, предпочтительно ISO, соответствующие системам Prolog, написанные на Javascript?
Единственный Пролог в JavaScript, который я знаю, YieldProlog, но я не пробовал его широко, только код, доступный в QueryEditor.
Я надеялся, что с использованием конструкции доходности он был легким (я использовал эту конструкцию в С#, и я нашел ее - в паре с лямбдой - довольно мощным).
Но когда я проверил (суммарно) источник, я нашел его действительно сложным, несмотря на предположения.
изменить
Я недавно нашел эти материалы, которые кажутся действительно интересными: proscript и proscript2.