pythagoras
Prolog Source