Tau Prolog: A Prolog interpreter in JavaScript

Paste your program in the box in the left and type a Prolog goal below. When you press ENTER on the goal textbox, the interpreter will read the goal and try to find a computed answer, showing the result here. If you press ENTER again (to keep looking for answers), the interpreter will continue looking from the last choice point. Look at built-in predicates and modules supported by Tau Prolog. ISO

[mh615033891]

#memo Prolog処理系のJavaScript実装。すごい。

[kirakking]

sandbox

[tmatsuu]

ほう

[miruzouq]

writeln(1).が動きません…