prime1.bak

人工智能课程学习中的作业

domains
	int=integer
predicates
	prime(int)
	is_prime(int,int)
	all_prime(int)
	generate(int,int)
	writes(int,int)
clauses
	all_prime(N):-generate(I,N),prime(I),
		      writes(I,N),I>=N,!.
	generate(3,_).
	generate(X,N):-generate(Y,N),X=Y+2.
	prime(N):-M=N-1,is_prime(N,M).
	is_prime(_,2):-!.
	is_prime(X,Y):-not(0=X mod Y),
		       U=Y-1,is_prime(X,U).
	writes(I,N):-I<=N,!,write("\t",I).
	writes(_,_).
	
goal
	write("Input the number:"),readint(N),
	nl,write("All the primes are:"),nl,
	write(2),all_prime(N).