用于生成从1到N的素数的Prolog代码

Question

我一直试图做一个Prolog问题来生成从1到N的素数，但是它一直回复为真或假，我找不到错误。 查询示例：generatePrime（10，X）

isPrime( 2 ) .
isPrime( P ) :-
  P > 2 ,
  isDivisible( P , P-1 ) .

isDivisible( P , X ) :-
  X > 1,
  P mod X =\= 0 ,
  isDivisible( P , X-1 ) .
isDivisible( _ , X ) :-
  1 is X .

generatePrime( N , X ) :-
  not( isPrime( N ) ) ,
  Z is N-1 ,
  generatePrime( Z , X ) .
generatePrime(N, X):-
  isPrime( N ) ,
  X is N ,
  Z is N-1 ,
  generatePrime( Z , X ) .
generatePrime( 1 , X ) :-
  X is 1 .

Answer 1

我想你想建立一个清单：

generatePrime( 1 , [] ) :- !.
generatePrime( N , X ) :-
  not( isPrime( N ) ) , !,
  Z is N-1 ,
  generatePrime( Z , X ) .
generatePrime(N, [N | X] ):-
  Z is N-1 ,
  generatePrime( Z , X ) .

我没有测试它，但是这样的东西应该有效。