Вывод на экран простых делителей натурального числа - Prolog

domains
int=integer
intl=int*
 
predicates
is_prime(int,int)
print_div(int,int)
task(int)
 
clauses
is_prime(2,_).
is_prime(N,K) :- (N mod K)<>0, K > (N div 2).
is_prime(N,K) :- (N mod K)<>0, K1=K+1, is_prime(N,K1). 
 
print_div(N,K) :- K >(N div 2),!.
print_div(N,K) :- (N mod K)=0, is_prime(K,2), write(K),nl,K1=K+1, print_div(N,K1).
print_div(N,K) :- K1=K+1, print_div(N,K1).
 
task(K) :- print_div(K,2).