Задача про Ревизора

@hog@n · Регистрация: 15.10.2012

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

Есть задача решённая на swi prolog
Волчонок, мартышка и бегемотик подошли к карусели, на которой кружились машинка и самолётик. Каждый из друзей хотел прокатиться и на том, и на другом. Машинка и самолётик вмещали только по одному пассажиру. За три захода каждый из друзей по разу прокатился на машинке и на самолётике. В первый заход мартышка прокатилась на самолётике, а волчонок — на машинке. Во время второго захода на самолётике катался волчонок. Кто и на чём катался во время третьего захода?

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
action(plane).
action(car).
action(shift).
solve([passenger(monkey, [X1,X2,X3]), passenger(wolf, [Y1, Y2,Y3]),
passenger(hippo, [Z1, Z2, Z3])]):-
   action(X1), action(Y1), action(Z1), unique([X1, Y1, Z1]),
   action(X2), action(Y2), action(Z2), unique([X2, Y2, Z2]),
   action(X3), action(Y3), action(Z3), unique([X3, Y3, Z3]),
 
   unique([X1, X2, X3]), unique([Y1, Y2, Y3]), unique([Z1, Z2, Z3]),
 
   X1 = plane, Y1 = car,
   Y2 = plane.
unique([]).
unique([E|Es]) :-
   maplist(dif(E), Es),
   unique(Es).

Реально ли переделать её на visual prolog 5.2? Или проще с нуля писать? Попытался переделать но ошибок куча и чем дальше тем страшнее(! Может посоветует кто что??? ps:Книгу читаю, за полезный совет не считается))

Добавлено через 1 час 34 минуты
Ответьте кто нибудь пожалуйста!

@Black Fregat · 08.12.2014, 23:29

Нужно описать домены и предикаты.

И unique нужно переписать, нет в visual prolog предикатов высших порядков.

Самый полезный совет дать не могу - правила форума запрещают..

@hog@n · 10.12.2014, 18:06 **[ТС]**

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

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
domains
li=passenger(jiv,lii)
lii=li*
jiv=monkey(String);wolf(String);hippo(String)
predicates
nondeterm member(jiv,li).
solve(li).
clauses
solve([passenger(monkey, [X1,X2,X3]), passenger(wolf, [Y1, Y2,Y3]), 
passenger(hippo, [Z1, Z2, Z3])]):-member([X1, Y1, Z1]), member([X2, Y2, Z2]),member([X3, Y3, Z3]),
member([X1, X2, X3]), member([Y1, Y2, Y3]), member([Z1, Z2, Z3]).
 member(H,[H|_]).
member(H,[_|Tail]):-member(H,Tail).
  goal
  solve(X).

Вот такую фигню наделал( Может ещё кто подскажет?

Добавлено через 9 часов 34 минуты
Понимаю что фигню пишу но остановиться не могу)

Добавлено через 9 часов 13 минут
Есть тут кто???

Добавлено через 2 часа 29 минут
UP!

Добавлено через 20 часов 51 минуту
Close!

Новые блоги и статьи Все статьи Все блоги /
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(), которая. . .

@Black Fregat Фрилансер 3709 / 2082 / 567 Регистрация: 31.05.2009 Сообщений: 6,683
	08.12.2014, 23:29
	Нужно описать домены и предикаты. И unique нужно переписать, нет в visual prolog предикатов высших порядков. Самый полезный совет дать не могу - правила форума запрещают.. 0