Получение первых элементов

Шаблон [A, _] в вашей статье неправильно или, по крайней мере, не достаточно обобщенно. [A, _] объединяется со списком, который содержит ровно два элемента, но, таким образом, это не сработает для списков с более чем двумя элементами или с одним элементом, как вы выяснили.

Вам нужно использовать [A|_] шаблон: действительно список, где голова A, и нас не интересует остальное (хвост). лайк:

foo([],[]).
foo([[A|_]|L], [A|P]) :- foo(L, P).

При этом вы можете упростить это, внедрив предикат, который занимает заголовок списка:

head([H|_], H).

а затем использовать maplist/3 [SWI-документ]:

foo(A, B) :-
    maplist(head, A, B).

maplist призовет head лайк head(Ai, Bi), с Ai а также Bi элементы A а также B соответственно.

Получение подстроки с первым символом

но на основе примера вывода это не то, что вам нужно: вы также хотите получить первый «символ» атома, мы можем сделать это, используя string_chars/2 [SWI-документ]:

head_first([A|_], C) :-
    string_chars(A, [C|_]).

а затем определить foo/2 снова с maplist/3 [SWI-документ]:

foo(A, B) :-
    maplist(head_first, A, B).

тогда мы получим:

?- foo([[car],[house],[man]], X).
X = [c, h, m].