Scryer Prolog appears in new scientific publication "50 Years of Prolog and Beyond"

[triska]

Dear all,

check it out: Scryer Prolog is mentioned in a recent scientific publication "50 Years of Prolog and Beyond" by Körner et al.:

https://arxiv.org/abs/2201.10816

Quoting from the paper:

Scryer Prolog (2021) is a quite recent Prolog implementation effort whose WAM-based abstract machine is written in the Rust language. Scryer is open source and aims for full ISO compliance. Since Scryer Prolog is a new, from scratch implementation, it has the opportunity to select different trade-offs and implementation choices. Scryer is still heavily in development at the time of writing, and thus its features are in relative flux. We have thus not included it in the feature overview table (Table 2). Nevertheless, it does already have at least preliminary support for features such as modules, tabling, constraint domains (ℬ and ℤ), indexing, attributed variables, and coroutines. The reader is directed to the evolving Scryer Prolog documentation to follow up on this system.

This is a very nice development, to see Scryer Prolog already included in such tabulations together with several Prolog systems that have a much longer history! I'm sure that this publication will help to attract more researchers and practitioners to Scryer Prolog, especially as its more unique aspects become more widely known and appreciated.

Enjoy!
Markus

[aarroyoc]

It was indeed a very interesting publication to learn about the history of Prolog. The SWOT analysis at the end is also something that we can learn from in Scryer. I recommend all people interested by that in reading it!

[pmoura]

P.S. The current paper version is not final. An improved version is in the works.