blob: 753d8cb29e634b8db9335f8576eb854763a8d7bf [file] [log] [blame]
:- P = 1000, '$benchmark'(primes(P), 1000, primes(P,_), '$dummy'(P,_)).