Навигация
Главная
Поиск
Форум
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
Эмулятор микроп... 65535
Подключение Mic... 65535
Создание потоко... 65535
Приложение «Про... 65535
Оператор выбора... 65535
Модуль Forms 65535
Имитационное мо... 60790
Реклама
Сейчас на сайте
Гостей: 3
На сайте нет зарегистрированных пользователей

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

Моделирование литейного цеха на GPSS + Пояснительная записка
Создание последовательности окон и передвижение окон по экрану на Turbo ...
Принадлежит ли точка пересечению двух окружностей на 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 Апрель 02 2009 22:48:33 · 0 Комментариев · 11675 Прочтений · Для печати

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


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



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

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

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

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

Пароль



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

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

Случайные загрузки
AddPage [Исходник...
С/C++ Программиро...
Игра "Астероиды" ...
De Knop
Borland Delphi 6....
Нестандартные при...
CarGame [Исходник...
Размещение элемен...
Adapter (пример D...
Доступа к БД Fire...
Ehlib
C++ Builder: Книг...
Введение в станда...
Berg
C# в кратком изло...
SearchAndReplace
Delphi 6. Учебный...
Delphi 6 программ...
Microsoft Press -...
Популярные загрузки

Топ загрузок
Приложение Клие... 100532
Delphi 7 Enterp... 92141
Converter AMR<-... 20103
GPSS World Stud... 15545
Borland C++Buil... 13132
Borland Delphi ... 9197
Turbo Pascal fo... 7115
Калькулятор [Ис... 5221
Visual Studio 2... 5037
FreeSMS v1.3.1 3561
Случайные статьи
Установка программ...
6.8. Равенство
База данных на осн...
Division by zero
5.1. Дополнительна...
Конструкторы
Списки
Выработка решенияП...
Сервер с пустой ба...
Желонка для скважины
ESP защищает целос...
Ассоциативные масс...
Трансляция списков...
Структура блока да...
Проектирование в п...
Новый клиент Outlo...
Разнотипные переме...
Управление доступо...
Инициализация данн...
Свопинг
Приложение Модуль ...
Правое вращение AV...
• Аудит удачных и ...
Совмещение имен в IDL
Алгоритмы и не алг...
Статистика



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


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