Cтраница 1
Пролог особенно хорошо приспособлен для задач, в которых фигурируют объекты и отношения между ними. Часто такие задачи естественно иллюстрировать графами, в которых узлы соответствуют объектам, а дуги - отношениям. [1]
Пролог обычно реализован как интерпретатор, хотя существуют версии языка Пролог, которые позволяют осуществлять компиляцию части или всех спецификаций БД для более быстрого поиска. [2]
Пролог широко известен как язык логического программирования. [3]
Пролог [ PROLOG, PROgramming in LOGic ] - язык программирования высокого уровня декларативного типа ( см. ранее декларативное программирование), предназначенный для разработки систем и программ искусственного интеллекта. Относится к категории языков пятого поколения. Был разработан в 1971 г. в университете г. Марсель ( Франция), относится к числу широко используемых и постоянно развиваемых языков. [4]
Пролог может содержать также внешние объявления, указание схемы, используемой для проверки документа, объявления пространств имен и прилагаемый XSL-файл. [5]
Пролог, где герой романа Волгин, отвечая на замечание, что между прогрессистами и помещичьей партией колоссальная разница, заявил: Нет, не колоссальная, а ничтожная. Была бы колоссальная, если бы крестьяне получили землю без выкупа. Взять у человека вещь, пли оставить ее у человека, но взять с него плату за нее - это все равно. План помещичьей партии разнится от плана прогрессистов только тем, что проще, короче. [6]
Пролог - язык высокого уровня, имеющий строгое теоретическое обоснование и ориентированный на использование концепций и методов математической логики. Как следует из его названия, Пролог предназначен для ПРО-граммирования в терминах ЛОГики. Основной особенностью Пролога, отличающей его от всех других языков, является декларативный характер написанных на нем программ. [7]
Пролог - быстро развивающийся язык, только за последние годы появилось более десятка его новых диалектов. Создано несколько систем программирования, включающих трансляторы, отладчики и редакторы Пролог-программ. Пролог оказался очень восприимчив к иным парадигмам программирования, далеким от математической логики, в частности к функциональному и объектно-ориентированному программированию. В результате появился язык, в котором сочетаются достоинства Пролога и Лиспа, и разработаны объектные расширения Пролога, в которых имеются средства для работы с абстрактными типами данных. [8]
Пролог - язык программирования, хорошо приспособленный для автоматизации различных форм логических рассуждений. Конечно, можно создавать ЭС на языке Бейсик или Паскаль либо на других процедурных языках, но ЭС на Прологе будет более мощной. Во-первых, Пролог является языком очень высокого уровня: строка текста программы на Прологе выполняет большую работу, чем строка программы на другом процедурном языке. Во-вторых, этот язык наилучшим образом ориентирован на естественные языки: он оптимально адаптирован для декодирования соответствующей информации, представленной на естественном языке. Такое декодирование почти невозможно на Бейсике или Паскале. И хотя такая фраза звучит неправдоподобно, именно в этом заключается суть декларативного программирования. [9]
Пролог работает на уровне логики предикатов, которая значительно мощнее. Поэтому возможно даже встроить другие стратегии вывода в режим естественного обратного вывода Пролога. [10]
Пролог содержит лишь весьма слабые средства защиты от незначительных ошибок в написании команд, которые могут приводить к фантастически нежелательным последствиям в работе программ. [11]
Пролог бесплатно обеспечивает реляционную базу данных - большое достоинство языка; но беда заключается в том, что она располагается в главной памяти машины, из-за чего язык нуждается в большой машинной памяти. [12]
Пролог уже содержит множество нестандартных улучшений, короче, Пролог - это мечта лесоруба, поскольку лишь преданная этому языку элита в состоянии овладеть его элегантными суперсложностями. Заявление, что это язык логического программирования, просто не выдерживает серьезного анализа. Некоторые из моих друзей используют Пролог, но я и не притронусь к терминалу. [13]
Пролог создаст и выдаст каждое возможное предложение, известное в грамматике. [14]
Пролог, состоящий из одной или нескольких деклараций о типе документа. Они определяют типы элементов, взаимосвязи между элементами и их атрибуты, а также условные обозначения, которые могут быть задействованы при разметке. [15]