Вычислить количество четных элементов на заданном интервале

@Линус · Регистрация: 03.12.2014

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

Вычислить количество четных элементов на заданном интервале.

Prolog
1
2
pr(X,K,X,K):-!.
pr(X,K,X1,K1):- X2 is X1+2, X2 =X, K2 is K1+1,pr(X,K,X2,K2).

Решила задачу, но не могу объяснить на языке SWI Prolog, помогите пожалуйста

@Catstail · 12.01.2015, 21:29

Вот решение для TP

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
domains
int=integer  %% просто так короче
 
predicates
task(int,int,int)  %% целевой предикат имеет параметра - начало интервала, конец интервала и к-во четных.
                      %% все - целые
 
clauses
 
%% терминальная ветвь рекурсии
 
task(B,B,0) :- (B mod 2)=1, !. %% на пустом отрезке с нечетной границей четных нет (отсекаем)
task(B,B,1) :- (B mod 2)=0, !. %% на пустом отрезке с четной границей четное одно (отсекаем) 
 
%% Пусть на отрезке [B,E] найдено N четных
%% тогда на отрезке [B+1,E] будет на одно меньше (если B четное)
 
task(B,E,N) :- B1=B+1, task(B1,E,N1), (B mod 2)=0, N=N1+1.
 
 
%% Пусть на отрезке [B,E] найдено N четных
%% тогда на отрезке [B+1,E] будет столько же (если B нечетное)
 
task(B,E,N) :- B1=B+1, task(B1,E,N), (B mod 2)=1.

Добавлено через 9 минут
Линус, что означают параметры X и K?

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Обработчик клика мыши в браузере ПК и касания экрана в браузере на мобильном устройстве 8Observer8 02.02.2026 Содержание блога Для начала пошагово создадим рабочий пример для подготовки к экспериментам в браузере ПК и в браузере мобильного устройства. Потом напишем обработчик клика мыши и обработчик. . .	Философия технологии iceja 01.02.2026 На мой взгляд у человека в технических проектах остается роль генерального директора. Все остальное нейронки делают уже лучше человека. Они не могут нести предпринимательские риски, не могут. . .	SDL3 для Web (WebAssembly): Вывод текста со шрифтом TTF с помощью SDL3_ttf 8Observer8 01.02.2026 Содержание блога В этой пошаговой инструкции создадим с нуля веб-приложение, которое выводит текст в окне браузера. Запустим на Android на локальном сервере. Загрузим Release на бесплатный. . .	SDL3 для Web (WebAssembly): Сборка C/C++ проекта из консоли 8Observer8 30.01.2026 Содержание блога Если вы откроете примеры для начинающих на официальном репозитории SDL3 в папке: examples, то вы увидите, что все примеры используют следующие четыре обязательные функции, а. . .
SDL3 для Web (WebAssembly): Установка Emscripten SDK (emsdk) и CMake для сборки C и C++ приложений в Wasm 8Observer8 30.01.2026 Содержание блога Для того чтобы скачать Emscripten SDK (emsdk) необходимо сначало скачать и уставить Git: Install for Windows. Следуйте стандартной процедуре установки Git через установщик. . . .	SDL3 для Android: Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 29.01.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами. Версия v3 была полностью переписана на Си, в. . .	Инструменты COM: Сохранение данный из VARIANT в файл и загрузка из файла в VARIANT bedvit 28.01.2026 Сохранение базовых типов COM и массивов (одномерных или двухмерных) любой вложенности (деревья) в файл, с возможностью выбора алгоритмов сжатия и шифрования. Часть библиотеки BedvitCOM Использованы. . .	SDL3 для Android: Загрузка PNG с альфа-каналом с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 28.01.2026 Содержание блога SDL3 имеет собственные средства для загрузки и отображения PNG-файлов с альфа-каналом и базовой работы с ними. В этой инструкции используется функция SDL_LoadPNG(), которая. . .