Prolog(разное)

take(N,Lst,Res) :- length(Res,N), prefix(Res,Lst).

drop(N,Lst,Res) :- length(Lst,K), KN is K-N, length(Res,KN), suffix(Res,Lst).

odd(N) :- 0 =\= N mod 2.

prime(2).
prime(N) :- N>1,odd(N), checkPrime(3,N).

checkPrime(A,N) :- AA is A*A, AA>N;
				   0 =\= N mod A, A2 is A+2, checkPrime(A2,N).