exists

@byko · Регистрация: 04.05.2010

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

В общем дана такая задача:
Напишите предикат exists(+P, +L), который проверяет "Существует ли элемент списка L, удовлетво-ряющий одноместному предикату P?". Пример:
?– exists(number,[a,b,c]).
No
?– exists(atom,[1,a,b,c]).
Yes
Используйте предикат apply.

Она уже была на этом форуме, и решили её в одну строчку:
exists(P,[H|Tail]):-apply(P,[H]);exists(P,Tail).

Нужно дописать эту программу, чтобы она определяла одноместен ли предикат P и если нет, то выводила бы об этом сообщение.

@Елена88 · 18.12.2011, 23:05

Можно сделать для своего предиката, допустим 2>x>5. Заранее спасибо.

@freest · 18.12.2011, 23:37

что это?)))

@Елена88 · 18.12.2011, 23:48

сорри затупила) 2<x<5

@freest · 19.12.2011, 00:13

попробуйте

Prolog
1
check(X):-2<X,X<5.

@Елена88 · 19.12.2011, 00:16

надо применительно к этому коду:
exists(P,[H|Tail]):-apply(P,[H]);exists(P,Tail).

@freest · 19.12.2011, 00:22

вместо P напишите Сheck

@Елена88 · 19.12.2011, 17:00

вот такой код вы имели в виду?
check(X):-2<X,X<5.
exists(сheck,[H|Tail]):-apply(сheck,[H]);exists(сheck,Tail).

ввожу
exists(check,[3]).
пишет false

@Грымзик · 19.12.2011, 18:32

Не надо вместо P писать check, P может любые значения принимать, оставьте как было. А по поводу, что не работает, тут действительно странности. У меня тоже не работало, и выводились бредовые ошибки. Заработало только после перезапуска компилятора.

@freest · 19.12.2011, 18:40

Используйте тег кода

Prolog
1
2
3
 predicate(X):-2<X,X<5.
 check(_,[]):-!.
 check(_,[H|Tail]):-apply(predicate,[H]),check(_,Tail).

@Грымзик · 19.12.2011, 18:46

check(_,[]). Нельзя, тогда предикат check всегда будет истинен.

Добавлено через 1 минуту
А, хотя Вы ИЛИ на И заменили. Но ведь надо проверить существуе ли, а не все ли.

@freest · 19.12.2011, 18:52

Да, сори натупил)

Prolog
1
2
3
 predicate(X):-2<X,X<5.
 check(_,[]):-fail.
 check(_,[H|Tail]):-apply(predicate,[H]);check(_,Tail).

@Елена88 · 19.12.2011, 19:56

Спасибо большое

@Елена88 · 22.12.2011, 15:24

Ребята выяснилось надо чтобы работало как для своего предиката 2<x<5, так и для number или atom.

@freest · 22.12.2011, 16:54

и что?

@Елена88 · 22.12.2011, 17:22

Это значит не только check(x,[3]) для предиката 2<x<5 true. но и допустим check(atom,[1,a,b,c]) true к примеру. Помогите пожалуйста)

@freest · 22.12.2011, 17:34

оно и так должно работать

@Елена88 · 22.12.2011, 17:43

вот код:

predicate(X):-2<X,X<5.
check(_,[]):-fail.
check(_,[H|Tail]):-apply(predicate,[H]);check(_,Tail).

ввожу:

check(x,[3]).
true.

check(atom,[1,a,b,c]).
ERROR: </2: Arithmetic: `a/0' is not a function

@freest · 22.12.2011, 17:48

1.Тег кода
2. У меня все работает

@Грымзик · 22.12.2011, 17:50

Еще на 1й странице был правильный код, я же писала, что ничего не меняйте. Ну что это такое

Prolog
1
check(_,[H|Tail]):-apply(predicate,[H]);check(_,Tail).

?
Почему безымянная переменная? Вы вообще название предиката параметра не рассматриваете, а всегда вызываете apply(predicate,[H]). Поэтому и происходит сравнение 2<a, что и вызывает ошибку.

Новые блоги и статьи Все статьи Все блоги /
Отправка уведомления на почту при изменении наименования справочника Maks 24.03.2026 Программная отправка письма электронной почты на примере изменения наименования справочника "Склады" в конфигурации БП3. Перед реализацией необходимо выполнить настройку системной учетной записи. . .	модель ЗдравоСохранения 5. Меньше увольнений- больше дохода! anaschu 24.03.2026 Теперь система здравосохранения уменьшает количество увольнений. 9TO2GP2bpX4 a42b81fb172ffc12ca589c7898261ccb/ https:/ / rutube. ru/ video/ a42b81fb172ffc12ca589c7898261ccb/ Слева синяя линия -. . .	Midnight Chicago Blues kumehtar 24.03.2026 Такой Midnight Chicago Blues, знаешь?. . Когда вечерние улицы становятся ночными, а ты не можешь уснуть. Ты идёшь в любимый старый бар, и бармен наливает тебе виски. Ты смотришь на пролетающие. . .	Контроль уникальности заводского номера - вариант №2 Maks 24.03.2026 В отличие от предыдущего варианта добавлено прерывание циклов, также добавлены новые переменные для сохранения контекста ошибки перед прерыванием цикла: Процедура ПередЗаписью(Отказ, РежимЗаписи,. . .
SDL3 для Desktop (MinGW): Вывод текста со шрифтом TTF с помощью библиотеки SDL3_ttf на Си и C++ 8Observer8 24.03.2026 Содержание блога Финальные проекты на Си и на C++: finish-text-sdl3-c. zip finish-text-sdl3-cpp. zip	Жизнь в неопределённости kumehtar 23.03.2026 Жизнь — это постоянное существование в неопределённости. Например, даже если у тебя есть список дел, невозможно дойти до точки, где всё окончательно завершено и больше ничего не осталось. В принципе,. . .	Модель здравоСохранения: работники работают быстрее после её введения. anaschu 23.03.2026 geJalZw1fLo Корпорация до введения программа здравоохранения имела много невыполненных работниками заданий, после введения программы количество заданий выросло. Но на выплатах по больничным это. . .	Контроль уникальности заводского номера - вариант №1 Maks 23.03.2026 Алгоритм контроля уникальности заводского (или серийного) номера на примере документа выдачи шин для спецтехники с табличной частью в конфигурации КА2. Данные берутся из регистра сведений, по. . .

@byko 0 / 0 / 0 Регистрация: 04.05.2010 Сообщений: 7

	exists 18.05.2010, 21:56. Показов 2687. Ответов 24 Метки нет (Все метки) В общем дана такая задача: Напишите предикат exists(+P, +L), который проверяет "Существует ли элемент списка L, удовлетво-ряющий одноместному предикату P?". Пример: ?– exists(number,[a,b,c]). No ?– exists(atom,[1,a,b,c]). Yes Используйте предикат apply. Она уже была на этом форуме, и решили её в одну строчку: exists(P,[H\|Tail]):-apply(P,[H]);exists(P,Tail). Нужно дописать эту программу, чтобы она определяла одноместен ли предикат P и если нет, то выводила бы об этом сообщение. 0

@Елена88 0 / 0 / 0 Регистрация: 29.11.2011 Сообщений: 21
	18.12.2011, 23:05
	Можно сделать для своего предиката, допустим 2>x>5. Заранее спасибо. 0

@freest Українець 424 / 318 / 16 Регистрация: 26.09.2009 Сообщений: 844
	18.12.2011, 23:37
	что это?))) 0

@Елена88 0 / 0 / 0 Регистрация: 29.11.2011 Сообщений: 21
	18.12.2011, 23:48
	сорри затупила) 2<x<5 0

@Елена88 0 / 0 / 0 Регистрация: 29.11.2011 Сообщений: 21
	19.12.2011, 00:16
	надо применительно к этому коду: exists(P,[H\|Tail]):-apply(P,[H]);exists(P,Tail). 0

@freest Українець 424 / 318 / 16 Регистрация: 26.09.2009 Сообщений: 844
	19.12.2011, 00:22
	вместо P напишите Сheck 0

@Елена88 0 / 0 / 0 Регистрация: 29.11.2011 Сообщений: 21
	19.12.2011, 17:00
	вот такой код вы имели в виду? check(X):-2<X,X<5. exists(сheck,[H\|Tail]):-apply(сheck,[H]);exists(сheck,Tail). ввожу exists(check,[3]). пишет false 0

@Грымзик 2507 / 1483 / 37 Регистрация: 14.09.2009 Сообщений: 2,740
	19.12.2011, 18:32
	Не надо вместо P писать check, P может любые значения принимать, оставьте как было. А по поводу, что не работает, тут действительно странности. У меня тоже не работало, и выводились бредовые ошибки. Заработало только после перезапуска компилятора. 1

@Грымзик 2507 / 1483 / 37 Регистрация: 14.09.2009 Сообщений: 2,740
	19.12.2011, 18:46
	check(_,[]). Нельзя, тогда предикат check всегда будет истинен. Добавлено через 1 минуту А, хотя Вы ИЛИ на И заменили. Но ведь надо проверить существуе ли, а не все ли. 1

@Елена88 0 / 0 / 0 Регистрация: 29.11.2011 Сообщений: 21
	19.12.2011, 19:56
	Спасибо большое 0

@Елена88 0 / 0 / 0 Регистрация: 29.11.2011 Сообщений: 21
	22.12.2011, 15:24
	Ребята выяснилось надо чтобы работало как для своего предиката 2<x<5, так и для number или atom. 0

@freest Українець 424 / 318 / 16 Регистрация: 26.09.2009 Сообщений: 844
	22.12.2011, 16:54
	и что? 0

@Елена88 0 / 0 / 0 Регистрация: 29.11.2011 Сообщений: 21
	22.12.2011, 17:22
	Это значит не только check(x,[3]) для предиката 2<x<5 true. но и допустим check(atom,[1,a,b,c]) true к примеру. Помогите пожалуйста) 0

@freest Українець 424 / 318 / 16 Регистрация: 26.09.2009 Сообщений: 844
	22.12.2011, 17:34
	оно и так должно работать 0

@Елена88 0 / 0 / 0 Регистрация: 29.11.2011 Сообщений: 21
	22.12.2011, 17:43
	вот код: predicate(X):-2<X,X<5. check(_,[]):-fail. check(_,[H\|Tail]):-apply(predicate,[H]);check(_,Tail). ввожу: check(x,[3]). true. check(atom,[1,a,b,c]). ERROR: </2: Arithmetic: `a/0' is not a function 0

@freest Українець 424 / 318 / 16 Регистрация: 26.09.2009 Сообщений: 844
	22.12.2011, 17:48
	1.Тег кода 2. У меня все работает 0