Создание предиката, находящего минимальный элемент списка

@antimat · Регистрация: 24.04.2013

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

1. Создайте предикат, который находит минимальный элемент списка.
2. Создайте предикат, который удаляет предпоследний элемент списка.

@Catstail · 11.12.2014, 11:56

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
domains
int=integer
intl=int*
 
predicates
 
min_elt(intl,int)
del_plast (intl,intl)
 
clauses
 
min_elt([H],H).
min_elt([H|T],H) :- min_elt(T,Q), H<Q.
min_elt([H|T],Q) :- min_elt(T,Q), H>=Q.
 
del_plast([],[]).
del_plast([H],[H]).
del_plast([_,H2],[H2]):- !.
del_plast([H|T],[H|Q]) :- del_plast(T,Q).

@antimat · 11.12.2014, 20:39 **[ТС]**

А как проверить в прологе , а то я не бум бум ?

@Catstail · 11.12.2014, 20:43

Я работаю в Turbo Prolog-e. Там загружаешь код, потом Alt-R и пишешь:

min_elt([1,2,3,-4,2,7],Z)

Пролог ответит:

Z=-4

@antimat · 11.12.2014, 20:53 **[ТС]**

Мне нужно в Visual Prolog, и код в Prolog Inference Engine

@antimat · 13.12.2014, 11:17 **[ТС]**

@Black Fregat · 14.12.2014, 01:59

В Visual Prolog 5.2 сделайте проект easywin, полностью перепишите файл *.pro и добавьте в конце что-то вроде

Prolog
1
2
3
4
goal
X = [1,2,3,-4,2,7],
min_elt(X, Y), write(Y), nl,
del_plast(X, Z), write(Z), nl.

В PIE создайте файл, в нем оставьте только сами определения предикатов (строки 12-19). Сделайте Consult.
Потом прямо в диалоге, без дополнительных подсказок, прямо после строки "Consulted from .."

Prolog
1
X = [1,2,3,-4,2,7], min_elt(X, Y), del_plast(X, Z).

@antimat · 14.12.2014, 11:28 **[ТС]**

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

Новые блоги и статьи Все статьи Все блоги /
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 https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11680&d=1772460536 Одним из. . .	Реалии 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 позволяет легко создать главного героя, который не проходит сквозь стены и перемещается с заданным трением о препятствия, которые можно располагать под углом, как верхнее. . .	Конвертировать закладки radiotray-ng в m3u-плейлист damix 19.02.2026 Это можно сделать скриптом для PowerShell. Использование . \СonvertRadiotrayToM3U. ps1 <path_to_bookmarks. json> Рядом с файлом bookmarks. json появится файл bookmarks. m3u с результатом. # Check if. . .	Семь CDC на одном интерфейсе: 5 U[S]ARTов, 1 CAN и 1 SSI Eddy_Em 18.02.2026 Постепенно допиливаю свою "многоинтерфейсную плату". Выглядит вот так: https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11617&stc=1&d=1771445347 Основана на STM32F303RBT6. На борту пять. . .

@antimat 0 / 0 / 0 Регистрация: 24.04.2013 Сообщений: 47

	Создание предиката, находящего минимальный элемент списка 09.12.2014, 10:34. Показов 3218. Ответов 7 Метки нет (Все метки) 1. Создайте предикат, который находит минимальный элемент списка. 2. Создайте предикат, который удаляет предпоследний элемент списка. 0

@antimat 0 / 0 / 0 Регистрация: 24.04.2013 Сообщений: 47
	11.12.2014, 20:39 [ТС]
	А как проверить в прологе , а то я не бум бум ? 0

@Catstail Супер-модератор 38177 / 21112 / 4307 Регистрация: 12.02.2012 Сообщений: 34,716 Записей в блоге: 14
	11.12.2014, 20:43
	Я работаю в Turbo Prolog-e. Там загружаешь код, потом Alt-R и пишешь: min_elt([1,2,3,-4,2,7],Z) Пролог ответит: Z=-4 0

@antimat 0 / 0 / 0 Регистрация: 24.04.2013 Сообщений: 47
	11.12.2014, 20:53 [ТС]
	Мне нужно в Visual Prolog, и код в Prolog Inference Engine 0

@antimat 0 / 0 / 0 Регистрация: 24.04.2013 Сообщений: 47
	13.12.2014, 11:17 [ТС]
	0

@antimat 0 / 0 / 0 Регистрация: 24.04.2013 Сообщений: 47
	14.12.2014, 11:28 [ТС]
	Спасибо большое 0