primenum.bak

来自「人工智能课程学习中的作业」· BAK 代码 · 共 24 行

domains
	int=integer
predicates
	prime(int)
	is_prime(int,int)
	all_prime(int)
	odd_integer(int)
	test(int,int)
	writes(int,int)
clauses
	all_prime(N):-odd_integer(I),prime(I),
	writes(I,N),write(" "),I>=N,!.
	prime(2):-!.
	prime(N):-N<2,!,fail.
	prime(N):-is_prime(N,_).
	is_prime(N,I):-0=(N mod 2),I=0,!,fail.
	is_prime(N,I):-test(N,I),I=N.
	test(N,I):-odd_integer(I),M=N mod I,M=0,!.
	odd_integer(3).
	odd_integer(N):-odd_integer(Y),N=Y+2.
	writes(I,N):-I<=N,!,write(I).
	writes(_,_).
goal
	all_prime(87).