Пролог-итерация по списку

Question

Предположим, у меня есть список Xs = [a,b,c]. Теперь я хочу выполнить итерацию по всем элементам и вызвать другую функцию для этих элементов. Мой вопрос: как это сделать, используя голову и хвост? Я был бы благодарен за помощь.

Answer 1

Как правило, вы не выполняете итерацию в Prolog. Вместо этого, вы пишете правило с парой рекурсивных статей, например:

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

Первый пункт обрабатывает базовый случай, когда список [] пуст. В этом случае нечего делать, поэтому тело правила также пусто.

Второе предложение обрабатывает случай, когда ваш список имеет хотя бы один элемент. Синтаксис [H|T] объединяет ваш список таким образом, что H становится главой списка, а T становится его хвостом. Например, если вы обрабатываете dosomething([a,b,c]), H становится a, а T становится [b,c].

Тело этого правила состоит из двух частей. Первая часть работает на голове, называя process. Это правило, которое вы хотите выполнить для каждого элемента списка. Вторая часть вызывает dosomething правило рекурсивно в хвосте списка. Когда список хвостов не пуст, второе предложение dosomething будет объединяться с более коротким списком для продолжения обработки. Когда список хвостов пуст, первое предложение будет унифицировано, тем самым завершив обработку.