Предикат, записывающий каждый третий элемент списка в новый список

@ВикаКарл · Регистрация: 21.09.2015

Author24 — интернет-сервис помощи студентам

Здравствуйте. Прошу помочь с написанием придиката, который будет записывать каждый третий элемент в новый список. Пишу в visual prolog 7.5. Собственными силами получила следующий код, но увы он не работает. Помогите исправить

Prolog

% Copyright
 
implement main
    open core, console, string
 
class predicates
copy_th: (integer*, integer,  integer*) nondeterm anyflow.
 
clauses
copy_th([],_,[]).
copy_th([H|T], Pos, Res):- Pos mod 3 = 0,  copy_th(T, Pos+1, Res1), Res1 = [H|Res].
copy_th([H|T], Pos, Res):- Pos mod 3 <>0,  copy_th(T, Pos+1, Res).
 
clauses
    run() :-
        init(),
        L = [1, 2, 3, 4, 5, 6, 7, 8, 9],
        %M = [],
        copy_th(L, 0, Res),
        write(L), nl,
        write(Res), nl,
        _=readLine(),*!;
        _=readLine().
 
end implement main
 
goal
    console::run(main::run).

@Black Fregat · 08.01.2016, 03:24

1) Во втором правиле нужно с точностью до наоборот: Res = [H|Res1]
Причём, обычно это записывают прямо в заголовке правила:

Prolog

1	copy_th([H\|T], Pos, [H\|Res]):- Pos mod 3 = 0, copy_th(T, Pos+1, Res).

2) При Вашей нумерации предикат будет выбирать [1,4,7], что не совсем по условию
Нужно либо менять начальный индекс, либо остаток для сравнения

3) Если не нужна универсальность, можно проще, без индексов:

Prolog

copy_th([_,_,H|T1], [H|T2]) :-
    !,
    copy_th(T1, T2).
copy_th(_, []).

@ВикаКарл · 08.01.2016, 11:08 **[ТС]**

Спасибо большое. Все работает

@ВикаКарл 0 / 0 / 0 Регистрация: 21.09.2015 Сообщений: 2
	08.01.2016, 11:08 [ТС]	3
	Спасибо большое. Все работает 0

Опции темы

Предикат, записывающий каждый третий элемент списка в новый список

Решение