Навигация
Главная
Поиск
Форум
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
Бип из системно... 62576
Организация зап... 59762
Invision Power ... 59426
Приложение «Про... 58650
Оператор выбора... 57772
Модуль Forms 57712
Подключение Mic... 57053
Создание отчето... 56981
ТЕХНОЛОГИИ ДОСТ... 53276
Программируемая... 51045
Пример работы с... 49136
Имитационное мо... 48755
21 ошибка прогр... 43516
Реклама
Сейчас на сайте
Гостей: 15
На сайте нет зарегистрированных пользователей

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

База данных - словарь терминов на Delphi + Пояснительная записка
Сравнение двух бинарных деревьев на Turbo Pascal + отчет
Моделирование процесса поступления заявок в систему, состоящую из трёх Э...

Реклама



Подписывайся на 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 Комментариев · 10732 Прочтений · Для печати

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


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



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

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

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

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

Пароль



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

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

Случайные загрузки
Delphi 6. Учебный...
PDPcheck
Flash MP3 Player ...
netBIOS
VksButton
TmxOutlookBarPro
PHP/MySQL для нач...
Tag Игра "Пятнашк...
Print Grid
SynEdit
Распознавание иде...
Экспорт базы данн...
Программирование ...
CarGame [Исходник...
PHP 5 для "чайников"
MiniChat
Доступа к БД Fire...
Генетический алго...
ATComponents
Учебник для продв...

Топ загрузок
Приложение Клие... 100333
Delphi 7 Enterp... 79793
Converter AMR<-... 20025
Borland C++Buil... 10822
GPSS World Stud... 9726
Borland Delphi ... 7846
Turbo Pascal fo... 6909
Visual Studio 2... 4926
Калькулятор [Ис... 4122
FreeSMS v1.3.1 3488
Случайные статьи
Вывод элементарных...
1. Служба DHCP Ser...
Логическая модель
Требования делегир...
Фрикинг телефонных...
5.1. ЦЕЛЬ: УПРОЩЕН...
Панель управления ...
Установка плагина ...
Создание шаблона д...
Веселый отдых
МНОГОСТОЛБЧАТЫЕ АТ...
Абстрактная точка ...
Вычисление расстоя...
Рис. 10.2. Разреже...
Выяснение параметр...
Стек
Обработка исключений
Назначение и особе...
ГЕНОЛОГ
Моделирование элек...
Применение туннель...
Блок GATHER, MATCH
ПРИЛОЖЕНИЕ 2. Осно...
Overflow in arithm...
Триада PHP - MySQL...
Статистика



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


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