Scryer Prolog was most recently discussed here in October 2021: https://news.ycombinator.com/item?id=28966133 https://news.ycombinator.com/item?id=28966133 Si

Scryer Prolog was most recently discussed here in October 2021: https://news.ycombinator.com/item?id=28966133 https://news.ycombinator.com/item?id=28966133 Since then, a great number of improvements have become available, among them: The system is now much faster, thanks to a much more compact internal representation of WAM heap cells. In addition, goals that occur as arguments of meta-predicates are now automatically compiled much more efficiently, avoiding superfluous lookups at runtime. Also, Adrían Arroyo Calle has contributed new and much improved HTTP server and client libraries, based on the Rust crate "hyper". Scryer Prolog 0.9.1 and later versions ship with all these improvements and several smaller corrections and additional features. Adrían also built the documentation system DocLog that he uses to generate this nice home page of the project: https://github.com/aarroyoc/doclog https://github.com/aarroyoc/doclog DocLog uses Djota, a Prolog implementation of the markup language Djot: https://github.com/aarroyoc/djota https://github.com/aarroyoc/djota Such systems show that nice applications can already be built with Scryer Prolog and its innovations. Thank you a lot to Mark and everyone who contributed to Scryer Prolog, please keep up the great work!