задачка по прологу

@StayDi · Регистрация: 14.01.2014

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

ребят помогите решить задачу
Задание таково: убрать элемент H при этом чтобы программа работала и выполняла те же операции что и с H

Prolog
1
2
3
4
5
6
7
8
9
10
11
domains
int=integer
list=int*
Predicates
count_member(list,int,int,int)
clauses
count_member([],_,M,M):-!.
count_member([H|T],N,K,M):-H=N,K1=K+1,count_member(T,N,K1,M).
count_member([_|T],N,K,M):-count_member(T,N,K,M).
Goal
count_member([1,2,3,4,3,5,3],3,0,L),write(L),nl.

@Catstail · 28.05.2014, 15:54

Сообщение от StayDi

убрать элемент H при этом чтобы программа работала и выполняла те же операции что и с H

- человеку, который так формулирует свои мысли, трудно будет с Прологом...

Добавлено через 3 минуты
Код работает. Что все-таки нужно?

@StayDi · 28.05.2014, 16:19 **[ТС]**

немного не корректно изложил суть задания.
нужно создать альтернативу, при которой программа будет работать без сего действия H=N

@Black Fregat · 29.05.2014, 19:00

Prolog
1
count_member([N|T],N,K,M):-K1=K+1,count_member(T,N,K1,M).

Добавлено через 5 минут
Только там еще отсечение нужно поставить обязательно, а вот в первом правиле совсем не нужно:

Prolog
1
2
3
count_member([],_,M,M).
count_member([N|T],N,K,M):-!,K1=K+1,count_member(T,N,K1,M).
count_member([_|T],N,K,M):-count_member(T,N,K,M).

@Catstail · 30.05.2014, 11:15

Black Fregat, я понял ТС, что нужно исхитриться решить задачу без использования шаблонов списка [H|T] (как бы ни называлась голова списка).

@Black Fregat · 30.05.2014, 15:12

Я понял, что нужно исключить именно последующую унификацию. Что достигается унификацией прямо в голове предиката. Это, собственно, и в первом посте прозвучало - H убрать, оставить только X

Милая сердцу преподавателя маленькая оптимизация

- работает, но некрасиво, можно сделать лучше

Но я, конечно, могу и ошибаться

Новые блоги и статьи Все статьи Все блоги /
Модульный подход на примере F# DevAlt 06.03.2026 В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .	Управление камерой с помощью скрипта OrbitControls.js на Three.js: Вращение, зум и панорамирование 8Observer8 05.03.2026 Содержание блога Финальная демка в браузере работает на Desktop и мобильных браузерах. Итоговый код: orbit-controls-threejs-js. zip. Сканируйте QR-код на мобильном. Вращайте камеру одним пальцем,. . .	SDL3 для Web (WebAssembly): Синхронизация спрайтов SDL3 и тел Box2D 8Observer8 04.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-sync-physics-sprites-sdl3-c. zip На первой гифке отладочные линии отключены, а на второй включены:. . .	SDL3 для Web (WebAssembly): Идентификация объектов на Box2D v3 - использование userData и событий коллизий 8Observer8 02.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-collision-events-sdl3-c. zip Сканируйте QR-код на мобильном и вы увидите, что появится джойстик для управления главным героем. . . .
Реалии Hrethgir 01.03.2026 Нет, я не закончил до сих пор симулятор. Эта задача сложнее. Не получилось уйти в плавсостав, но оно и к лучшему, возможно. Точнее получалось - но сварщиком в палубную команду, а это значит, в моём. . .	Ритм жизни kumehtar 27.02.2026 Иногда приходится жить в ритме, где дел становится всё больше, а вовлечения в происходящее — всё меньше. Плотный график не даёт вниманию закрепиться ни на одном событии. Утро начинается с быстрых,. . .	SDL3 для Web (WebAssembly): Сборка библиотек: SDL3, Box2D, FreeType, SDL3_ttf, SDL3_mixer и SDL3_image из исходников с помощью CMake и Emscripten 8Observer8 27.02.2026 Недавно вышла версия 3. 4. 2 библиотеки SDL3. На странице официальной релиза доступны исходники, готовые DLL (для x86, x64, arm64), а также библиотеки для разработки под Android, MinGW и Visual Studio. . . .	SDL3 для Web (WebAssembly): Реализация движения на Box2D v3 - трение и коллизии с повёрнутыми стенами 8Observer8 20.02.2026 Содержание блога Box2D позволяет легко создать главного героя, который не проходит сквозь стены и перемещается с заданным трением о препятствия, которые можно располагать под углом, как верхнее. . .

@StayDi 0 / 0 / 0 Регистрация: 14.01.2014 Сообщений: 13
	28.05.2014, 16:19 [ТС]
	немного не корректно изложил суть задания. нужно создать альтернативу, при которой программа будет работать без сего действия H=N 0

@Catstail Супер-модератор 38178 / 21113 / 4307 Регистрация: 12.02.2012 Сообщений: 34,716 Записей в блоге: 14
	30.05.2014, 11:15
	Black Fregat, я понял ТС, что нужно исхитриться решить задачу без использования шаблонов списка [H\|T] (как бы ни называлась голова списка). 0

@Black Fregat Фрилансер 3709 / 2083 / 567 Регистрация: 31.05.2009 Сообщений: 6,683
	30.05.2014, 15:12
	Я понял, что нужно исключить именно последующую унификацию. Что достигается унификацией прямо в голове предиката. Это, собственно, и в первом посте прозвучало - H убрать, оставить только X Милая сердцу преподавателя маленькая оптимизация - работает, но некрасиво, можно сделать лучше Но я, конечно, могу и ошибаться 1