Ciao is a prolog. It is not a new project (I'm saying this as a good thing), for example the reference paper for the system is from 2012 http://cliplab.org/pap

Ciao is a prolog. It is not a new project (I'm saying this as a good thing), for example the reference paper for the system is from 2012 http://cliplab.org/papers/hermenegildo11:ciao-design-tplp.pdf http://cliplab.org/papers/hermenegildo11:ciao-design-tplp.pd... It is still developed. As others have mentioned, the actual homepage is here https://ciao-lang.org/ https://ciao-lang.org/. This is currently a link to the reference manual (which I'm shocked that people are having such a negative reaction to. Reference manuals are rare and good). It is also quite neat that ciao has led the charge towards a lot of recent energy in the prolog community to getting WASM builds working via emscripten. https://ciao-lang.org/playground/ https://ciao-lang.org/playground/ One of the most interesting unique features of Ciao prolog is it's assertion language and static analyzer. https://ciao-lang.org/ciao/build/doc/ciao.html/AssrtLang.html https://ciao-lang.org/ciao/build/doc/ciao.html/AssrtLang.htm... Some other prolog systems now available to run on wasm are SWI-prolog (which unscientifically I think has the largest user community of a prolog) https://swi-prolog.discourse.group/t/swi-prolog-in-the-browser-using-wasm/5650 https://swi-prolog.discourse.group/t/swi-prolog-in-the-brows... and Trealla https://github.com/guregu/trealla-js https://github.com/guregu/trealla-js. Tau prolog is a javascript native prolog. http://tau-prolog.org/ http://tau-prolog.org/ For more on prolog generally, this is an excellent resource https://www.metalevel.at/prolog https://www.metalevel.at/prolog