如何在Prolog中将输入从L转换为[H | T]？

Question

如果我必须在prolog中创建一个函数： DoSomething的（L）。 我怎样才能把它变成与以下相同的东西： dosomething（[H | T]）其中L = [H | T]所以我可以拆分列表吗？

Answer 1

您可unify L与[H|T]：

dosomething(L) :- L = [H|T], ...

与：

相同

dosomething([H|T]) :- ...

仅当L为[]（或不是列表）时，它才能与[H|T]统一：

?- [H|T] = [].
false.