Prolog程序理解

Question

这是我的程序:

foo(L,[H|R1]) :-
    foo(L,R1,H).

foo([H],[],H).
foo([H|T],[H|T1],R) :-
    foo(T,T1,R).

这是查询:

foo([1,2,3,4,5,6],X).

我不明白这个程序是做什么的，有人可以帮我解释一下它是如何工作的吗？

Answer 1

在 Prolog 中，无需了解源代码。相反，让 Prolog 为您做这件事。问问最一般的查询 :

| ?- foo(L,R).
     L = [_A],
     R = [_A]
  ;  L = [_A,_B],
     R = [_B,_A]
  ;  L = [_A,_B,_C],
     R = [_C,_A,_B]
  ;  L = [_A,_B,_C,_D],
     R = [_D,_A,_B,_C]
  ;  L = [_A,_B,_C,_D,_E],
     R = [_E,_A,_B,_C,_D]
  ;  L = [_A,_B,_C,_D,_E,_F],
     R = [_F,_A,_B,_C,_D,_E]
  ;  L = [_A,_B,_C,_D,_E,_F,_G],
     R = [_G,_A,_B,_C,_D,_E,_F]
  ;  L = [_A,_B,_C,_D,_E,_F,_G,_H],
     R = [_H,_A,_B,_C,_D,_E,_F,_G]
  ;  ...

你在这里看到一个模式吗？