Пролог-система
Cтраница 1
Пролог-система рассматривает вопросы как цели, к достижению которых нужно стремиться. [1]
Пролог-система строит цепочку доказательства в порядке, обратном по отношению к тому, которым мы только что воспользовались. Вместо того, чтобы начинать с простых фактов, приведенных в программе, система начинает с целей и, применяя правила, подменяет текущие цели новыми, до тех пор, пока эти новые цели не окажутся простыми фактами. [2]
 |
Пример, иллюстрирующий процедурную семантику Пролога. шаги вычислений, выполняемых процедурой вычислить. [3] |
Как пролог-система отвечает на вопросы мы уже фактически рассмотрели, что делает процедура вычислить. [4]
Некоторые Пролог-системы обеспечивают быстрые методы доступа к основной памяти для поиска в большом количестве фактов одинакового формата. Эти методы используют сложные механизмы индексации и хеширования. [5]
Некоторые Пролог-системы обеспечивают улучшенные методы выборки и управления памятью, разработанные с целью повышения эфективности хранения фактов в резидентной в оперативной памяти базе данных Пролога. Эта операция применяется главным образом к результату выборки из массовой памяти базы данных. Кроме, того во многих существующих Пролог-системах она реализована неудовлетворительно. [6]
Хотя пролог-система и отвечает на вопросы, используя для этого нашу базу знаний, нельзя сказать, что ее поведение вполне соответствует поведению эксперта. [7]
Способность пролог-системы прорабатывать многие процедурные детали самостоятельно считается одним из специфических преимуществ Пролога. Это свойство побуждает программиста рассматривать декларативный смысл программы относительно независимо от ее процедурного смысла. Поскольку результаты работы программы в принципе определяются ее декларативным смыслом, последнего ( опять же в принципе) достаточно для написания программ. Этот факт имеет практическое значение, поскольку декларативные аспекты программы являются, обычно, более легкими для понимания, нежели процедурные детали. Чтобы извлечь из этого обстоятельства наибольшую пользу, программисту следует сосредоточиться главным образом на декларативном смысле и по возможности не отвлекаться на детали процесса вычислений. Последние следует в возможно большей мере предоставить самой пролог-системе. [8]
Предложение пролог-системы запускается, если его голова сопоставима с целью, расположенной первой в базе данных. [9]
В пролог-системах обычно имеются средства отладки. Наиболее полезными являются средства трассировки программ. [10]
Как только пролог-система узнала, что такое дедушка, ей можно задать вопрос, например: кто является дедушкой Патрика. [11]
Такой ответ пролог-системы следует понимать так: да, любой отрезок, выродившийся в точку, обладает как свойством вертикальности, так и свойством горизонтальности одновременно. Этот ответ снова получен лишь из сопоставления. Как и раньше, в ответе вместо X и Y могут появиться некоторые имена, сгенерированные системой. [12]
В вашей Пролог-системе может быть встроенный предикат, который позволит получить эту информацию с компьютерных часов системы. [13]
В некоторых пролог-системах применяется сокращенная запись для чтения программ из файлов. Файлы, из которых предстоит чтение, просто помещаются в список и этот список используется в качестве цели. [14]
При связывании между существующими Пролог-системами и системами баз данных создается некоторый интерфейс. При этом сохраняется индивидуальность как первых, так и вторых. Этот интерфейс содержит процедуры, осуществляющие перемещение данных из внешней памяти базы данных в основную память среды выполнения логической программы. [15]
Страницы: 1 2 3 4