序言中的哥德巴赫猜想

Question

哥德巴赫猜想：每個大於2的正偶數是兩個素數的總和。例如圖28（5,23和11,17）

我想的Prolog代碼打印下方（所有組合）：

?- goldbach(28, L). 

Output : 

L = [5,23]; 
L = [11, 17]; 

我有打印單組合[5,23]的碼，但不下一個[11,17]。

is_prime(2). 
is_prime(3). 
is_prime(P) :- integer(P), P > 3, P mod 2 =\= 0, \+ has_factor(P,3). 

has_factor(N,L) :- N mod L =:= 0. 
has_factor(N,L) :- L * L < N, L2 is L + 2, has_factor(N,L2). 

goldbach(4,[2,2]) :- !. 
goldbach(N,L) :- N mod 2 =:= 0, N > 4, goldbach(N,L,3). 

goldbach(N,[P,Q],P) :- Q is N - P, is_prime(Q), !. 
goldbach(N,L,P) :- P < N, next_prime(P,P1), goldbach(N,L,P1). 

next_prime(P,P1) :- P1 is P + 2, is_prime(P1), !. 
next_prime(P,P1) :- P2 is P + 2, next_prime(P2,P1). 

Answer 1

刪除剪切（並添加一個條件以避免重複的答案）。

goldbach(4,[2,2]). 
goldbach(N,L) :- 
    N mod 2 =:= 0, 
    N > 4, 
    goldbach(N,L,3). 
goldbach(N,[P,Q],P) :- 
    Q is N - P, 
    is_prime(Q), P < Q. 
goldbach(N,L,P) :- 
    P < N, 
    next_prime(P,P1), 
    goldbach(N,L,P1).