html - 在网络浏览器中运行 Prolog

Question

只是想知道是否可以在浏览器中运行 prolog 脚本？我在大学学过它，我想将它添加到我的在线作品集中？

Answer 1

是的，YieldProlog是一个随时可用的“转译器”，从 Prolog 的一个很好的子集到 JavaScript。

编辑

现在有一个更好的替代方案，符合 ISO 标准:Tau Prolog

编辑

hhprolog 的预览，我移植到 Prof.Tarau Hitchhicker Prolog 虚拟机的 Javascript。

点击 [运行代码片段] 以 Peano 表示法计算 2+2，即纯 Prolog 的这个片段

 add(0,X,X).
 add(s(X),Y,s(Z)):-add(X,Y,Z).

 goal(R):-add(s(s(0)),s(s(0)),R).

<script src="https://cdn.jsdelivr.net/gh/CapelliC/hitchhicker-prolog@8424f251246b5f45d5a7ee7046e3e32d29b8282c/hhprolog-es6.js"></script>
<script>
const add = `
add 0 X X .

add _0 Y _1 and
  _0 holds s X and
  _1 holds s Z 
if
  add X Y Z .

goal R 
if
  add _0 _1 R and
  _0 holds s _2 and
  _2 holds s 0 and
  _1 holds s _3 and
  _3 holds s 0 .

`
    const prog = new Prog(add)
    //prog.ppCode()
    const t0 = Date.now()
    prog.run(true)
    console.log('elapsed secs', (Date.now() - t0) / 1000)

</script>