Программирование на языке Пролог для искусственного интеллекта



         

Различные виды равенства - часть 2


Давайте в качестве примера переопределим отношение

        счетчик( Терм, Список, N)

из разд. 7.1. Пусть на этот раз N будет числом буквальных вхождений Терм'а в Список:

        счетчик( _, [ ], 0).

        счетчик( Терм, [Голова | L], N) :-

                Терм == Голова,  !,

                счетчик( Терм, L, N1),

                N is N1 + 1;

                счетчик( Терм, L, N).

Назад | Содержание

| Вперёд




Содержание  Назад  Вперед