27 lines
543 B
Prolog
27 lines
543 B
Prolog
implement main
|
|
open core, std
|
|
|
|
domains
|
|
pythtrip = pt(integer, integer, integer).
|
|
|
|
class predicates
|
|
pythTrips : (integer) -> pythtrip nondeterm (i).
|
|
|
|
clauses
|
|
pythTrips(Limit) = pt(X,Y,Z) :-
|
|
X = fromTo(1,Limit),
|
|
Y = fromTo(X,Limit),
|
|
Z = fromTo(Y,Limit),
|
|
Z^2 = X^2 + Y^2.
|
|
|
|
run():-
|
|
console::init(),
|
|
Triples = [ X || X = pythTrips(20) ],
|
|
console::write(Triples),
|
|
Junk = console::readLine(),
|
|
succeed().
|
|
end implement main
|
|
|
|
goal
|
|
mainExe::run(main::run).
|