Tangent to Prolog, perhaps check Flix, which includes logic programming features [1], and is discussed here from time to time [2]. -- 1: https://doc.flix.dev/

Tangent to Prolog, perhaps check Flix, which includes logic programming features [1], and is discussed here from time to time [2]. -- 1: https://doc.flix.dev/fixpoints.html https://doc.flix.dev/fixpoints.html 2: https://news.ycombinator.com/item?id=25513397 https://news.ycombinator.com/item?id=25513397 2: https://news.ycombinator.com/item?id=31448889 https://news.ycombinator.com/item?id=31448889 2: https://news.ycombinator.com/item?id=38419263 https://news.ycombinator.com/item?id=38419263