こんな感じになると思います。これ以上の効率的なアルゴリズムは分かりません。
#module
#defcfunc IsPrimeAB int A,int B
repeat B-A+1,A
if IsPrimeC(cnt)=1:return 1
loop
return 0
#defcfunc IsPrimeC int A
i=2:while i*i <= A
if(A\i = 0):return 0
i++
wend
return 1
#global
input A:input B
button "決定",*Enter
stop
*Enter
A=int(A):B=int(B)
if A > B:A = A xor B:B = A xor B:A = A xor B
if IsPrimeAB(A,B)=1{
mes ""+A+"〜"+B+"の間に素数はある"
}else{
mes ""+A+"〜"+B+"の間に素数はない"
}