Дан список, выяснить является ли список чётным и равенство 2-го и предпоследнего элементов.

@ShawnM · Регистрация: 21.11.2011

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

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
domains
list=symbol*
predicates
nondeterm spisok(list)
nondeterm proverka(list,list)
clauses
proverka([],[]).
proverka([_,X|_],[X,_]):-proverka(list,list).
spisok(L):-proverka(L,L).
spisok([]).
spisok([_,_|Tail]):-spisok(Tail).
goal
spisok([a,b,b,c]).

Вот что набросал, помогите исправить.

@Грымзик · 05.01.2012, 18:06

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
domains
list=symbol*
predicates
nondeterm spisok(list)
nondeterm proverka(list,symbol)
clauses
proverka([],_).
proverka([A,_],A):-!.
proverka([_,_],_):-!,fail.
proverka([_,_|Tail],A):-proverka(Tail,A).
spisok(L):-L=[_,A|_],proverka(L,A).
goal
spisok([a,b,b,c]).

@ShawnM · 05.01.2012, 20:39 **[ТС]**

Огромное вам спасибо за помощь

Комментарий модератора

Если какой-либо пост на форуме показался вам полезным, нажмите кнопку "Спасибо" внизу самого поста.

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Работа со звуком через SDL3_mixer 8Observer8 08.02.2026 Содержание блога Пошагово создадим проект для загрузки звукового файла и воспроизведения звука с помощью библиотеки SDL3_mixer. Звук будет воспроизводиться по клику мышки по холсту на Desktop и по. . .	SDL3 для Web (WebAssembly): Основы отладки веб-приложений на SDL3 по USB и Wi-Fi, запущенных в браузере мобильных устройств 8Observer8 07.02.2026 Содержание блога Браузер Chrome имеет средства для отладки мобильных веб-приложений по USB. В этой пошаговой инструкции ограничимся работой с консолью. Вывод в консоль - это часть процесса. . .	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 была полностью переписана на Си, в. . .