blob: 8c24001518ab3ea27361ec772205e8e19b6f07e1 [file] [log] [blame]
:- P = 20, '$benchmark'(hanoi(P), 10, hanoi(P), '$dummy'(P)).