Functional geometry in prolog

4 Likes