IsPrime : -a ->
Arg X : Integer, . : IS_PRIME

Is_prime = 1 [ X > 1 ] | 0 ..

Do i = 2 to I - 1
 If I _% i then
  Is_prime = 0; Leave
 Else
  Iterate
 ;  
;  

Return Is_prime