用 Prolog 判斷此數是否為質數

質數.pl

:- set_prolog_flag(verbose, silent).
:- initialization(main).

可整除(X, Y):-
	0 is X mod Y.

有因數(X, Y):-
	可整除(X, Y).
有因數(X, Y):-
	X > Y+1, 
	可整除(X, Y+1).
有因數(X):-
	有因數(X, 2).

是質數(X):-
	X < 2,
	write(X), write('不是質數').
是質數(2):-
	write('2是質數').
是質數(X):-
	有因數(X),
	write(X), write('不是質數').
是質數(X):-
	write(X), write('是質數').

main:-
	X is 33,
	是質數(X),
    halt.