Cтраница 2
Пролог, РОР-П в рамках одной программной среды, но имеется также экранный редактор, ориентированный на решаемую задачу, а также ряд частично готовых модулей, собранных в библиотеке. Такие системы, однако, доступны только на крупных вычислительных машинах и являются довольно дорогими. [16]
Пролог был принят в качестве основного языка при реализации японского проекта компьютера пятого поколения. Если большинство языков программирования можно отнести к императивным, то Лисп считается функциональным, а Пролог - описательным языком. [17]
Пролог прошел путь развития, сходный с путем Лиспа, и в настоящее время он применяется многими европейскими учеными в области вычислительной техники, работающими над совершенствованием языка и расширением сферы его применения. Относительно недавно Пролог был принят японскими и американскими учеными для решения прикладных задач искусственного интеллекта. Популярность Пролога резко возрастает начиная с 1982 г., когда был опубликован японский проект компьютера пятого поколения. [18]
Пролог позволяет хранить также и факты в форме правил, показанных выше, но у которых нет предусловий. [19]
Пролог, родившийся, как и многие языки программирования, в начале 70 - х годов, к настоящему времени так и не стал промышленным языком программирования: для написания прикладных систем Пролог используется крайне редко. В своем большинстве программисты-практики Пролога не знают или оценивают его невысоко. [20]
Пролог позволяет использовать инфиксную нотацию. [21]
Пролог П Язык программирования, основанный на исчислении предикатов и используемый в задачах искусственного интеллекта. [22]
Пролог представляет собой совокупность утверждений и правил. Утверждения состоят из предикатен, логических ев стант и образуют базу данных. Правила ( дпзъюн имеют вид А если В ( и В. [23]
Пролог состоит из системы предикатов ( утверждений) и встроенных механизмов логического вывода. Скажем, если на Прологе написать утверждения Я люблю лес и В лесу идут дожди, то он автоматически может сделать вывод о том, что Я люблю дожди. При программировании на Прологе приходится не столько считать, сколько прокручивать в голове множество логических операций. [24]
Пролог вместе с системами баз данных позволяет создавать слабо или сильно связанные системы, в которых средства поддержки логических программ и баз данных рассматриваются изолированно, и требуется выделять предикаты экстенсиональной базы данных для интерпретации доступа ( статической при слабом связывании и динамической при сильном) к системе баз данных из логической программы. Дейталог же ориентирован на создание интегрированных дедуктивных систем. Идеи языка Дейталог и связанных с ним методов вычислений находят важное развитие в новых Языках логического программирования и в языках дедуктивных объектно-ориентированных баз данных. [25]
Пролог содержит функциональные символы, используемые обычно для построения рекурсивных функций и сложных структур данных; эти функции не требуются для манипулирования плоской реляционной базой данных, хотя они могли бы оказаться полезными для оперирования сложными объектами в базах данных. [26]
Пролог позволяет определять рекурсивные предикаты. Предикат называется рекурсивным, если его определение содержит сам предикат. [27]
Пролог позволяет программисту увеличить эффективность программ с помощью некоторых процедурных средств, таких, как предикат отсечения. [28]
Пролог позволяет выразить отрицательную информацию. Например, такие литералы, как not ( likes ( george vanessa)) или not ( member ( X, 1)), являются допустимыми в правой части правила. [29]
Пролог является довольно выразительным языком запросов. В этой главе показано, как создавать системы, которые реализуют интерфейс Пролога с базами данных, обеспечивая при этом эффективный доступ к данным. С этой целью рассмотрены компоненты и альтернативные архитектуры систем для связывания Пролог-систем и реляционных баз данных. В рамках альтернативных архитектур обсуждены методы организации интерфейса между базой данных и Пролог-системой. Введено понятие базовой конъюнкции как единицы взаимодействия между Прологом и средой баз данных. Описаны разнообразные методы повышения эффективности такого интерфейса. Главное, на чем мы здесь остановимся, - экономия операций доступа к базе данных. В частности, при запоминании данных и промежуточных запросов используется кэш-память. Это позволяет устранить повторение одних и тех же операций во время выполнения программы. [30]