Cтраница 3
Пролог отличается от резолюции в разных аспектах. Некоторые предикаты обеспечивают успех непосредственно путем исполнения, без применения правила резолюции. [31]
Пролог известен как декларативный язык. Программа на Прологе состоит из фактов и правил вывода, с помощью которых описывается не процедура решения ( как это принято в чисто процедурных языках, таких как Бейсик, Паскаль, Фортран, Си и др.), а система связей между рассматриваемыми объектами и цель задачи. Visio Prolog - язык, который, сохраняя достоинства предыдущих версий Prolog, способен эффективно решать любые задачи современного программирования. [32]
Пролог - язык программирования, в котором решения компьютерных задач выражаются с помощью фактов, представляющих отношения между объектами, и правил, специфицирующих выводимые из фактов следствия. Механизмы представления знаний об объектах и отношениях в Прологе являются одновременно и высокоуровневыми и многоцелевыми. Это дает программисту два существенных преимущества. Первое, весьма ощутимое преимущество состоит в том, что программист освобождается от необходимости вникать в организацию физической памяти, отводимой для данных, которыми манипулирует программа. Второе преимущество состоит в той легкости, с которой в этом языке могут быть выражены сущности и отношения из самых различных областей человеческой деятельности. [33]
Пролог предоставляет большие выразительные возможности для точного и ясного представления программ, но программист должен научиться использовать эти возможности. Глава 9 в связи с этим охватывает вопросы тестирования, отладки и документирования программ на Прологе. Эти темы, по моему мнению, не были должным образом освещены в большинстве учебников по Прологу. [34]
Пролог - это язык, до сих пор находящийся в развитии. В силу того, что область его применений постоянно расширяется, в него вносят все новые и новые возможности, призванные удовлетворить возрастающие потребности пользователей. Я дал описание ядра Пролога, общего для большинства его реализаций, представил краткий перечень работ по стандартизации языка, которые к настоящему времени проделаны BSI ( Британским институтом стандартов), а также прокомментировал те аспекты языка, которые, по-видимому, BSI предполагает отличными от тех, что присутствуют в указанном ядре. [35]
Пролог, предусматривает только один тип данных, называемый термом. Любой объект задачи, которую надлежит формализовать, равно как и любое отношение между объектами, представляется термом того или иного вида. [36]
Пролог выдаст значения, которыми будут заменены переменные, входящие в цель. [37]
Пролог совершает возврат для повторного согласования некоторой подцели, если последующая подцель получает отказ. [38]
Пролог обладает встроенными предикатами, которые позволяют пользователю управлять сеансом взаимодействия с Пролог-системой. [39]
Пролог начинает поиск нужного утверждения для предиката расчет количества / 2 только после того, как прочитает введенные пользователем данные о материале. Поиск продолжается до тех пор, пока данные о материале в заголовке утверждения не будут сопоставлены с термом, введенным пользователем. Программа построена с гарантией того, что вызов предиката read / 1 не даст отказа и что Пролог не будет через него совершать возврат. [40]
Пролог [ PROLOG, PROgramming in LOGic ] - язык программирования высокого уровня декларативного типа ( см. ранее декларативное программирование), предназначенный для разработки систем и программ искусственного интеллекта. Относится к категории языков пятого поколения. Был разработан в 1971 г. в университете г. Марсель ( Франция), относится к числу широко используемых и постоянно развиваемых языков. [41]
Пролог не будет способен вычислить выражение N-1. [42]
Пролог использует стратегию вглубь с возвратом. [43]
Пролог обладает встроенной функцией сортировки. Примеры, приводимые ниже в учебных целях, реализуют сортировки вставкой, слиянием и быструю сортировку. [44]
Пролог может объявлять операторы префиксными, инфиксными или постфиксными с помощью встроенного предиката. [45]