Количество вхождений заданного атома в терм (с учетом вхождений в подтермы)

@Moroni · Регистрация: 18.06.2017

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

Написать предикат occurrence_count(Term, Atom, Count) таким образом, чтобы он позволял находить количество вхождений заданного атома в терме (с учетом вхождений в подтермы).

@Moroni · 03.02.2022, 20:29 **[ТС]**

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
occurrence_count(T, A, 1) :- atom(T), T == A, !.
occurrence_count(T, A, C) :-
    compound(T), !,
    T =.. [_|Args],
    occurrence_count_in_list(Args, A, C).
occurrence_count(_, _, 0).
 
occurrence_count_in_list([], _, 0).
occurrence_count_in_list([H|T], A, C) :-
    occurrence_count(H, A, C1),
    occurrence_count_in_list(T, A, C2),
    C is C1 + C2.

правильное ли решение?

Новые блоги и статьи Все статьи Все блоги /
Оттенки серого Argus19 18.03.2026 Оттенки серого Нашёл в интернете 3 прекрасных модуля: Модуль класса открытия диалога открытия/ сохранения файла на Win32 API; Модуль класса быстрого перекодирования цветного изображения в оттенки. . .	SDL3 для Desktop (MinGW): Рисуем цветные прямоугольники с помощью рисовальщика SDL3 на Си и C++ 8Observer8 17.03.2026 Содержание блога Финальные проекты на Си и на C++: finish-rectangles-sdl3-c. zip finish-rectangles-sdl3-cpp. zip	Символические и жёсткие ссылки в Linux. algri14 15.03.2026 Существует два типа ссылок — символические и жёсткие. Ссылка в Linux — это запись в каталоге, которая может указывать либо на inode «файла-ИСТОЧНИКА», тогда это будет «жёсткая ссылка» (hard link),. . .	[Owen Logic] Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора ФедосеевПавел 14.03.2026 Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора ВВЕДЕНИЕ Выполняя задание на управление насосной группой заполнения резервуара,. . .
делаю науч статью по влиянию грибов на сукцессию anaschu 13.03.2026 прикрепляю статью	SDL3 для Desktop (MinGW): Создаём пустое окно с нуля для 2D-графики на SDL3, Си и C++ 8Observer8 10.03.2026 Содержание блога Финальные проекты на Си и на C++: hello-sdl3-c. zip hello-sdl3-cpp. zip Результат:	Установка CMake и MinGW 13.1 для сборки С и C++ приложений из консоли и из Qt Creator в EXE 8Observer8 10.03.2026 Содержание блога MinGW - это коллекция инструментов для сборки приложений в EXE. CMake - это система сборки приложений. Здесь описаны базовые шаги для старта программирования с помощью CMake и. . .	Как дизайн сайта влияет на конверсию: 7 решений, которые реально повышают заявки Neotwalker 08.03.2026 Многие до сих пор воспринимают дизайн сайта как “красивую оболочку”. На практике всё иначе: дизайн напрямую влияет на то, оставит человек заявку или уйдёт через несколько секунд. Даже если у вас. . .

@Moroni 0 / 0 / 0 Регистрация: 18.06.2017 Сообщений: 121

	Количество вхождений заданного атома в терм (с учетом вхождений в подтермы) 28.01.2022, 17:13. Показов 354. Ответов 1 Метки нет (Все метки) Написать предикат occurrence_count(Term, Atom, Count) таким образом, чтобы он позволял находить количество вхождений заданного атома в терме (с учетом вхождений в подтермы). 0