[icebraining]

I don't know, but there's a recommendation here: https://news.ycombinator.com/item?id=869042

[agumonkey]

side note: found a book about geometry in prolog https://link.springer.com/chapter/10.1007/978-4-431-68036-9_...