Навигация
Главная
Поиск
Форум
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
Invision Power ... 65535
Пример работы с... 65535
Содержание сайт... 65535
Организация зап... 65535
Вызов хранимых ... 65535
Создание отчето... 65535
Программируемая... 65535
Эмулятор микроп... 65535
Подключение Mic... 65535
Создание потоко... 65535
Приложение «Про... 65535
Оператор выбора... 65535
Модуль Forms 65535
ТЕХНОЛОГИИ ДОСТ... 62961
Имитационное мо... 58314
Реклама
Сейчас на сайте
Гостей: 5
На сайте нет зарегистрированных пользователей

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

Движение шарика в эллиптическои параболоиде на Delphi [OpenGL] + Блок схемы
Игра Sokoban на Delphi + Блок схемы
Программа тестирования и обучающая программа по математике на Turbo Pasc...

Реклама



Подписывайся на YouTube канал о программировании, что бы не пропустить новые видео!

ПОДПИСЫВАЙСЯ на канал о программировании
Трансляция списков в Турбо Прологе
Трансляция текстов с одного языка на другой была одной из
первых областей практического применения Пролог-систем. Задачи
трансляции до сих пор занимают значительное место среди задач
искусственного интеллекта. В данном разделе рассматривается
простейший вид трансляции, позволяющий получать подстрочные
переводы текстов на естественном языке и конверторы с одного
языка программирования на другой.
Основой программы-транслятора является словарь, который в
терминах Пролога записывается в виде фактов. Например, для пере-
вода с английского языка на русский (и наоборот) в качестве фактов
должны использоваться предикаты, один аргумент которых определяет
английское слово, а второй - соответствующее ему русское:
meam ("one", " один").
meam ("two", "два).



Множество предложений-фактов образует базу данных, или словарь,
программы-транслятора.
Если представить исходный текст в виде списка слов на входном
языке, то правило для предиката трансляции transl запишется следующим
образом:
transl ([], []).
transl ([H|T],[H1|T1]) :- mean(H,H1), transl(T,T1).



Правило является рекурсивным, оба аргумента должны иметь
списочный тип, а предикат mean должен соответствовать предикату,
на базе которого определен словарь.
На базе фактов и правил, основанных на предикатах mean и
transl, можно построить простейшую программу-транслятор. Однако
на практике исходный текст представляется не в виде списка слов,
а в виде текстовых строк (тип string в ТП ). Поэтому для пост-
роения реального транслятора требуется, как минимум, еще одно
правило, определяющее преобразование строки исходного текста в
списке слов. Подобное правило для предиката str lst является
рекурсивным:
str_lst (S,[H|T]):- fronttoken (S,H,L),!, str_lst (L,T).
str_lst ( _, []).



Первый аргумент предиката str_lst соответствует строке исходного
текста и имеет стандартный тип string, а второй аргумент является
списком слов.
При определении предиката str_lst использовались два стандартных
предиката Пролога - fronttoken и cut(!). Предикат fronttoken (S,H,L)
позволяет выделять первую лексему (слово) Н из строки S и , кроме
того, возвращает остаток строки L без выделенной лексемы. Предикат
отсечения cut, или "!", служит для прекращения продвижения Пролог-
системы по дереву поиска решений. Применение этого предиката поз-
воляет ограничить время перебора или устранить неоднозначности в
определенных случаях. Например, приведенный выше предикат max можно
записать с точки зрения Пролога более экономно:
max(X,Y,X):-X >= Y,!.
max(X,Y,Y).



В этом случае условная часть второго предложения правила не
вычисляется. Аналогичным образом можно устранить недостаток в
правиле для предиката belong (см.п.2.3). В исходном варианте, если
заданный элемент Х встречается в списке несколько раз, то Пролог-
система будет искать все его вхождения. Для прекращения поиска
после определения первого вхождения используется предикат cut(!):
belong( X, [X|_]) :- !.
belong( X, [_|T]) :- belong (X,T).



В языке Пролог существует стандартный предикат, который
выполняет функции, противоположные предикату cut(!), т.е. тре-
бует продолжения продвижения по дереву поиска решений в любом
случае, даже при получении отрицательного объекта. Этот предикат
обозначается ключевым словом fail (неудача). Его целесообразно
применять при обработке повторяющейся информации, например,
при обработке (трансляции) текста, расположенного на нескольких
строках. Например, следующий предикат обеспечивает ввод из базы
данных (словаря) всех пар слов и вывод их на экран монитора:
type_mean :- mean (X,Y), write (X,"-",Y), nl, fail.



Здесь nl (new line) - стандартный предикат ТП, обеспечи-
вающий переход на новую строку. Таким образом, на каждой строке
экрана будет распечатана одна пара слов из словаря mean.
Опубликовал Kest April 02 2009 22:48:33 · 0 Комментариев · 11462 Прочтений · Для печати

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


Комментарии
Нет комментариев.
Добавить комментарий
Имя:



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

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

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

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

Пароль



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

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

Случайные загрузки
Советы от Даниилы...
KOL & MCK v1.69
Пример клиента ФТ...
Дешифратор содерж...
Панель "ссылки"
TrayComp
Delphi на примерах
Искусство програм...
Printgrid
FileFind
CoolControls v3.0...
Расширенный загру...
DirHTMLReportBuil...
ADVstatusbar
JanButtonsV
Род Стивенс. Delp...
Программа "AutoRu...
Программирование ...
MiniChat
C# 2005 и платфор...

Топ загрузок
Приложение Клие... 100477
Delphi 7 Enterp... 87844
Converter AMR<-... 20082
GPSS World Stud... 13468
Borland C++Buil... 12050
Borland Delphi ... 8667
Turbo Pascal fo... 7048
Visual Studio 2... 5005
Калькулятор [Ис... 4905
FreeSMS v1.3.1 3545
Случайные статьи
Упорядоченные СПИСКИ
Аутентификация уст...
Содержание
Память для классов...
Процедура ShowMessage
Обучение программи...
Программа рассчиты...
Таинственное удале...
Примечание Консорц...
Установка модулей ...
Прямой метод решен...
Объект PageSetup
Устойчивость к сбоям
Задание на моделир...
Покраска
Популярно о PageRank
Объединение SLAAC ...
13.2. Линейные стр...
Понятие о создании...
Блоки работы со сп...
Вы не хотите опред...
Наследование обычн...
Изготовление метал...
Применение избыточ...
Установка операци...
Статистика



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


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