testTriangle
Prolog Source