blob: ece86f2db6056b52b2f365747e31a3a5d4d24ebe [file] [log] [blame]
:- P = 20000, '$benchmark'(loop(P), 1000, loop(P), '$dummy'(P)).