Навигация
Главная
Поиск
Форум
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
Эмулятор микроп... 65535
Приложение «Про... 64066
Организация зап... 62739
Оператор выбора... 62511
Invision Power ... 62156
Подключение Mic... 60914
Модуль Forms 59874
Создание отчето... 59794
ТЕХНОЛОГИИ ДОСТ... 55983
Программируемая... 55431
Пример работы с... 53078
Имитационное мо... 51362
21 ошибка прогр... 46355
Реклама
Сейчас на сайте
Гостей: 12
На сайте нет зарегистрированных пользователей

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

База данных склада на Delphi + Схема БД
Моделирование вычислительного центра на GPSS + Отчет + Блок схема
Моделирование работы перекрёстка по регулированию движения на GPSS + Поя...

Реклама



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

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


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



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 Быстрый Ст...
Разработка клиент...
Электронный магаз...
Развивающийся фла...
около 291 статьи ...
В.Понамарев - COM...
ScrollCredit
CoolDev TipsSyste...
index.php + мод ...
Фундаментальные а...
Введение в станда...
Секреты программи...
ProLIB18
100 компонентов о...
Delphi и технолог...
Язык программиров...
Расширенный загру...
Illusion
БД сеть компьютер...

Топ загрузок
Приложение Клие... 100366
Delphi 7 Enterp... 82062
Converter AMR<-... 20046
Borland C++Buil... 11039
GPSS World Stud... 10378
Borland Delphi ... 8030
Turbo Pascal fo... 6957
Visual Studio 2... 4961
Калькулятор [Ис... 4253
FreeSMS v1.3.1 3508
Случайные статьи
Резюме
Впрочем, зачастую ...
учетная запись Кей...
Интернет – магазин...
Контакты для обмен...
Как это настраивается
Выжить в Песочнице!
правила Лопиталя
Модульность - МПролог
Понижение цветовой...
Для изменения фона...
Разделение памяти ...
Оптимизация алгоритма
4.2. АНТИПАТТЕРН: ...
Пишем скрипт госте...
Символы для формат...
Плотность изображе...
Головной интерфейс...
Ваша цель — опреде...
Блоки работы с при...
10.1. Массив точек
6.13. Наблюдение...
Второе разрешает/з...
Компоненты доступа...
Глава 21. Жизне...
Статистика



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


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