Навигация
Главная
Поиск
Форум
FAQ's
Ссылки
Карта сайта
Чат программистов

Статьи
-Delphi
-C/C++
-Turbo Pascal
-Assembler
-Java/JS
-PHP
-Perl
-DHTML
-Prolog
-GPSS
-Сайтостроительство
-CMS: PHP Fusion
-Инвестирование

Файлы
-Для программистов
-Компонеты для Delphi
-Исходники на Delphi
-Исходники на C/C++
-Книги по Delphi
-Книги по С/С++
-Книги по JAVA/JS
-Книги по Basic/VB/.NET
-Книги по PHP/MySQL
-Книги по Assembler
-PHP Fusion MOD'ы
-by Kest
Professional Download System
Реклама
Услуги

Автоматическое добавление статей на сайты на Wordpress, Joomla, DLE
Заказать продвижение сайта
Программа для рисования блок-схем
Инженерный калькулятор онлайн
Таблица сложения онлайн
Популярные статьи
OpenGL и Delphi... 65535
Форум на вашем ... 65535
HACK F.A.Q 65535
Гостевая книга ... 65535
Содержание сайт... 65535
Вызов хранимых ... 65535
Эмулятор микроп... 65535
Бип из системно... 58691
Invision Power ... 57702
Организация зап... 57497
Модуль Forms 56543
Создание отчето... 55143
Приложение «Про... 54869
Подключение Mic... 54676
Оператор выбора... 54467
ТЕХНОЛОГИИ ДОСТ... 51202
Программируемая... 47835
Пример работы с... 46967
Имитационное мо... 46898
21 ошибка прогр... 41930
Реклама
Детское постельное белье из иваново интернет магазин ivradost.ru. .
Технострой доставка стройматериалов по оптовым ценам.
Сейчас на сайте
Гостей: 9
На сайте нет зарегистрированных пользователей

Пользователей: 13,008
новичок: pelageya
Новости
Реклама
Выполняем курсовые и лабораторные по разным языкам программирования
Подробнее - курсовые и лабораторные на заказ
Delphi, Turbo Pascal, Assembler, C, C++, C#, Visual Basic, Java, GPSS, Prolog, 3D MAX, Компас 3D
Заказать программу для Windows Mobile, Symbian

Игра Sokoban на Delphi + Блок схемы
моделирование процесса поступления заявок в ЭВМ на GPSS + Пояснительная ...
Расчет размера дохода на одного человека в Turbo Pascal

Реклама

Решение логических задач в Турбо Прологе. Задача о ханойсной башне.
Данная задача является одной из самых древних логических
задач. В рамках логического программирования она может служить
хорошей иллюстрацией применения рекурсии. Задача заключается
в перемещении пирамиды из n дисков с одного стержня на другой
с использованием вспомогательного стержня. Перемещения ограни-
чиваются двумя правилами:
- за один раз переносится только один диск;
- диски всегда должны располагаться в убывающей последова-
тельности (больший диск нельзя класть на меньший).
Все необходимые пояснения к работе программы оформлены
в виде комментариев. Студентам предлагается самостоятельно
разобраться в назначении предикатов и взаимосвязи правил,
определенных в приводимой ниже программе LOGTASK3.
#MDOMAINS
TIME, ROW, COL, NUMBER = INTEGER
PREDICATES
hanoi( NUMBER )
move( NUMBER, NUMBER, ROW, ROW, ROW, COL, COL, COL )
inform( NUMBER, NUMBER, ROW, ROW, COL, COL )
makepole( NUMBER, NUMBER, COL)
dd(TIME)
move_vert(COL,NUMBER,ROW,ROW)
move_horizon(ROW,NUMBER,COL,COL)
keyact(CHAR)
gendelay
showdelay
nondeterm for(INTEGER,INTEGER,INTEGER)
fill
DATABASE
determ delay(INTEGER)
CLAUSES
for(X,X,_).
for(I,A,B):-B>A,A1=A+1,for(I,A1,B).
fill :- makewindow(_,_,_,_,_,_,ROWS,COLS),
RR=ROWS-1, CC=COLS-1,
for(COL,0,CC),for(ROW,0,RR),
scr_char(ROW,COL,'░'),
fail.
fill.
gendelay :- inkey(CH), keyact(CH),showdelay,!.
gendelay :- delay(DELAY),!, dd(DELAY).
gendelay.
dd(0):-!.
dd(N):-N1=N-1,dd(N1).
keyact('+'):-
retract(delay(VAL)),VAL1=VAL+1+VAL div 10,
VAL1<=25000,!,assert(delay(VAL1)).
keyact('+'):-!,assert(delay(25000)).
keyact('-'):-
retract(delay(VAL)),VAL1=VAL-1-VAL div 10,
VAL1>=0,!,assert(delay(VAL1)).
keyact('-'):-!,assert(delay(0)).
keyact(_):-retractall(delay(_)),assert(delay(0)).
showdelay:-
delay(DELAY),gotowindow(2),
clearwindow,
write(" Задержка = ",DELAY),gotowindow(1).
hanoi(N) :-
N<=13,!,
textmode(ROWS,COLS),
makewindow(4,7,0,"",0,0,ROWS,COLS),
fill,
ROWS1=ROWS-1,
makewindow(3,40,0,"",ROWS1,0,1,COLS),
write(" +/- Увеличить/уменьшить задержку ",
" Любая другая клавиша - сброс задержки"),
VB=2+6*N,VH=3+N,CV=N, CM=3*N, CH=5*N,
STCOL=(79-6*N) div 2, STROW=(25-VH) div 2 -1,
STROW1=STROW+1+VH,
makewindow(2,74,0,"ЗАДЕРЖКА",STROW1,32,1,18),
makewindow(1,7,52,"Ханойская башня",STROW,STCOL,VH,VB),
retractall(delay(_)),
makepole(N,N,CV),
assert(delay(100)),
showdelay,
move(N,N,0,0,0,CV,CM,CH),
cursor(0,0), write("Нажмите любую клавишу"),readchar(_).
hanoi(_):- write("Максимальное количество дисков - 13\n").
move(H,1,HA,_,HC,CA,_,CH):-!,inform(H,1,HA,HC,CA,CH).
move(H,N,HA,HB,HC,CA,CB,CC):-
N1=N-1,
HA1=HA+1,
move(H,N1,HA1,HC,HB,CA,CC,CB),
inform(H,N,HA,HC,CA,CC),
HC1=HC+1,
move(H,N1,HB,HA,HC1,CB,CA,CC).
inform( H, N, H1, H2, C1, C2 ) :-
C11=C1-N, C22=C2-N, NN=2*N,
H11=H-H1, H22=H-H2,
move_vert(C11,NN,H11,1),
move_horizon(1,NN,C11,C22),
move_vert(C22,NN,1,H22).
makepole(_,0,_):-!.
makepole(H,N,C):-HH=H-N,inform(H,N,HH,HH,C,C), N1=N-1, makepole(H,N1,C).
move_vert(_,_,H,H):-!.
move_vert(COL,SIZE,H1,H2):-H1 H11=H1+1,
field_attr(H11,COL,SIZE,112),
field_attr(H1,COL,SIZE,7),gendelay,gendelay,
move_vert(COL,SIZE,H11,H2).
move_vert(COL,SIZE,H1,H2):-H1>H2,!, % переместить вниз
H11=H1-1,
field_attr(H11,COL,SIZE,112),
field_attr(H1,COL,SIZE,7),gendelay,gendelay,
move_vert(COL,SIZE,H11,H2).
move_horizon(_,_,H,H):-!.
move_horizon(ROW,SIZE,C1,C2):-C1 C11=C1+1, HH=C1+SIZE,
field_attr(ROW,HH,1,112),
field_attr(ROW,C1,1,7),gendelay,
move_horizon(ROW,SIZE,C11,C2).
move_horizon(ROW,SIZE,C1,C2):-C1>C2,!, % переместить влево
C11=C1-1, HH=C11+SIZE,
field_attr(ROW,C11,1,112),
field_attr(ROW,HH,1,7),gendelay,
move_horizon(ROW,SIZE,C11,C2).
GOAL hanoi(7).#P


Опубликовал Kest April 02 2009 23:48:09 · 2 Комментариев · 11319 Прочтений · Для печати

• Не нашли ответ на свой вопрос? Тогда задайте вопрос в комментариях или на форуме! •


Комментарии
ЛОХХ September 10 2010 21:00:14
domains
loc =right;middle;left

predicates
hanoi(integer)
move(integer,loc,loc,loc)
inform(loc,loc)

clauses
hanoi(N):-
move(N,left,middle,right).
move(1,A,_,C):-
inform(A,C),
!.

move(N,A,B,C):-
N1=N-1,
move(N1,A,C,B),
inform(A,C),
move(N1,B,A,C).

inform(Loc1, Loc2):-
write("\nMove a disk from ", Loc1, " to ", Loc2).
Влад December 16 2016 14:19:06
При выполнении возникает ошибка "the cursor values are illegal" на строке field_attr(H11, Col, 1, 112), где H11 = 6, Col = 0. Как решить эту проблему. Используется Turbo Prolog 2.0.
Добавить комментарий
Имя:



smiley smiley smiley smiley smiley smiley smiley smiley smiley
Запретить смайлики в комментариях

Введите проверочный код:* =
Рейтинги
Рейтинг доступен только для пользователей.

Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.

Нет данных для оценки.
Гость
Имя

Пароль



Вы не зарегистрированны?
Нажмите здесь для регистрации.

Забыли пароль?
Запросите новый здесь.
Поделиться ссылкой
Фолловь меня в Твиттере!
Загрузки
Новые загрузки
iChat v.7.0 Final...
iComm v.6.1 - выв...
Visual Studio 200...
CodeGear RAD Stud...
Шаблон для новост...

Случайные загрузки
Turbo Pascal for ...
VksButton
Pirc
Delphi 6/7 базы д...
32 урока по Delphi
API (Применение A...
Иллюстрированный ...
Игра в крестики н...
PHP 5 в подлинник...
Технология .Net в VB
WordReport
Web Регистрация
Шкрыль А. - Разра...
FormShape [Исходн...
ZipForge
Delphi. Учимся на...
Фильтры изображений
C++ : библиотека ...
Программа "AutoRu...
Анекдоты с ostrie.ru

Топ загрузок
Приложение Клие... 100276
Delphi 7 Enterp... 75252
Converter AMR<-... 20017
Borland C++Buil... 10482
GPSS World Stud... 8858
Borland Delphi ... 7491
Turbo Pascal fo... 6868
Visual Studio 2... 4869
Калькулятор [Ис... 3846
FreeSMS v1.3.1 3481
Случайные статьи
0, добавьте следую...
Сортировка массиво...
Обновление, управл...
Суммирование двух ...
Что такое Emotion ...
Создадим свой перв...
Массивы это после...
состав группы, соб...
Ячный закон мажори...
• попытка соединен...
Для входа в просмо...
Определение решения1
Полиморфизм на эта...
ВВОД ИНФОРМАЦИИ С...
Умножение
Создание кадровой ...
Сортировка методом...
Как работает проек...
Программирование: ...
Внешние объекты (OLE)
3.4. ДОПУСТИМЫЕ СП...
Активация
Терминология СС/РР
Взаимодействие ком...
Поддержка многотаб...
Статистика



Друзья сайта
Программы, игры


Полезно
В какую объединенную сеть входит классовая сеть? Суммирование маршрутов Занимают ли таблицы память маршрутизатора?