[agumonkey]

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