Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
:- use_module(library(clpfd)). △(C, A, B) :- C #> 0, A #> 0, B #> 0, C^2 #= A^2 + B^2. /** <examples> ?- △(5, 4, 3). ?- △(5, 4, B). ?- △(5, A, B), label([A, B]). */