如何在 Prolog 中编写对列表进行操作的函数

如何在Prolog中编写一个包含n个a和n个b的程序，这里需要注意的是列表中a和b的数量必须相等，而且列表必须始终以a开头并以b，否则为假。例子 ：[a,b] is true, [a,a,a,b,b,b] is true, [a,a,a,a] is false and [a,a,a,b,b]也是false.

这是我尝试做的：

langageB([b]).
langageB([b| S]):- langageB(S).

language([]).

langage([a,b]).
langage([a | S]):- langage(S).
langage([a| S]):- langageB(S).

但它并没有按照我想要的方式工作。

使用 DCG 表示法，所需的语言可以定义为：

langage --> [a,b].
langage --> [a], langage, [b]. % For each a at the beginning of the list 
                               % there must be a corresponding b at the end

langage(List) :- phrase(langage, List).

例子：

?- langage([a,a,a,b,b,b]).
true .

?- langage([a,a,b,b,b]).
false.

?- langage(L).
L = [a, b] ;
L = [a, a, b, b] ;
L = [a, a, a, b, b, b] ;
L = [a, a, a, a, b, b, b, b] .

如果您想了解如何直接使用差异列表定义谓词，可以列出谓词的子句langage/2:

?- listing(langage).

langage([a, b|A], A).

langage([a|A], B) :-
    langage(A, C),
    C=[b|B].

因此，替代解决方案是：

langage(List) :-
  langage(List, []).

langage([a, b|A], A).

langage([a|A], B) :-
    langage(A, C),
    C = [b|B].