Previous discussion of Scryer Prolog (in 2021):

https://news.ycombinator.com/item?id=28966133