Навигация
Главная
Поиск
Форум
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
Бип из системно... 59714
Invision Power ... 58173
Организация зап... 58076
Модуль Forms 56812
Приложение «Про... 55887
Создание отчето... 55619
Оператор выбора... 55382
Подключение Mic... 55287
ТЕХНОЛОГИИ ДОСТ... 51737
Программируемая... 48688
Пример работы с... 47569
Имитационное мо... 47360
21 ошибка прогр... 42348
Реклама
Сейчас на сайте
Гостей: 3
На сайте нет зарегистрированных пользователей

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

Поиск пути в графе заданном списками инцедентности на Turbo Pascal
Программа тестирования (тест) - вступительные экзамены (математика, физи...
Калькулятор на Delphi с переводом в другую систему исчисления + Блок схемы

Реклама

Трансляция списков в Турбо Прологе
Трансляция текстов с одного языка на другой была одной из
первых областей практического применения Пролог-систем. Задачи
трансляции до сих пор занимают значительное место среди задач
искусственного интеллекта. В данном разделе рассматривается
простейший вид трансляции, позволяющий получать подстрочные
переводы текстов на естественном языке и конверторы с одного
языка программирования на другой.
Основой программы-транслятора является словарь, который в
терминах Пролога записывается в виде фактов. Например, для пере-
вода с английского языка на русский (и наоборот) в качестве фактов
должны использоваться предикаты, один аргумент которых определяет
английское слово, а второй - соответствующее ему русское:
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 Комментариев · 10596 Прочтений · Для печати

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


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



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

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

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

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

Пароль



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

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

Случайные загрузки
C++ Builder: Книг...
Андрей Боровский....
DiskInfo
3d Tank [Исходник...
Последние загруж...
Редактор анимаций
IconCut [Исходник...
TDBF
База данных: Книж...
Мониторинг сервер...
Dreamsoft Progres...
Encrypt Decrypt
Черный круг двига...
Работа с базами д...
Длинный заголовок...
Усложнённый кальк...
Программирование ...
JanButtonsV
PHP глазами хакера
База Allsubmitter...

Топ загрузок
Приложение Клие... 100289
Delphi 7 Enterp... 76592
Converter AMR<-... 20017
Borland C++Buil... 10582
GPSS World Stud... 9037
Borland Delphi ... 7571
Turbo Pascal fo... 6874
Visual Studio 2... 4885
Калькулятор [Ис... 3912
FreeSMS v1.3.1 3482
Случайные статьи
Спецификации MPEG-4
ВОСХОДЯЩАЯ РЕКУРСИЯ
Суммирование маршр...
Тестирование: объе...
Септик
Лучшие средства от...
Нам нужны достаточ...
1.2. Вопросы
Почему каждый хост...
Вычислить значение...
• Внешний SQL-сервер
Отправка по факсу ...
DMZ).• Сервер DNS.
HTPC
Состояние потока и...
Guide Plus+
Игровые автоматы В...
Type mismatch
Ввод-вывод: заголо...
и штамп времени ск...
10 Заблуждений при...
Глава 20. Адапт...
MissingMappingActi...
Типы атрибутов
Какие из следующих...
Статистика



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


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