Читать реферат по информатике, вычислительной технике, телекоммуникациям: "Что же представляют собой языки логического программирования?" Страница 3


назад (Назад)скачать (Cкачать работу)

Функция "чтения" служит для ознакомления с работой. Разметка, таблицы и картинки документа могут отображаться неверно или не в полном объёме!

возникло главным образом благодаря успехам в автоматическом доказательстве теорем, в частности благодаря разработке принципа резолюции. Одно из первых исследований, связывающих резолюцию с программированием для ЭВМ, было предпринято Грином. Общая идея, состоящая в рассмотрении логических предложений как операторов в программах, а управляемого вывода – как исполнения программ, была исследована Хайсом, Сандвеллом и другими. Однако осознанию того, что логика является исполняемым языком программирования, в особенности способствовала указанная выше процедурная интерпретация Ковальского.

Успехи в технологии реализации также в значительной мере способствовали представлению логики как практической формальной системы программирования. Первый экспериментальный интерпретатор был реализован Русселом и Колмероэ и другими в университете Экс – Марсель в 1972 году. Ему было дано имя Пролог (“программирование на языке логики” – PROgramming in LOGic), и он оказал сильное влияние на разработку последующих систем.

Термины “логическое программирование” и “программирование на языке Пролог” часто употребляются как равнозначные, однако подразумеваемая стратегия управления в Прологе отнюдь не является единственной стратегией, имеющейся для исполнения логических программ.

Исторический ракурс.

Возникновение Пролога покрыто тайной. Известно только то, что два создателя языка – Роберт Ковальский, в то время работавший в Эдинбурге, и Алан Колмероэ из Марселя – разрабатывали в начале 70-х сходные идеи и даже работали вместе в течение одного лета. В результате были сформулированы основные положения логического программирования и вычислительная модель, описан и реализован первый язык логического программирования – Пролог.

Возникали версии языка Пролог, содержащие дополнительные средства управления, например IC-Пролог, однако было показано, что их нельзя рассматривать в качестве альтернативы Прологу. Другую ветвь языков логического программирования составляют параллельные логические языки программирования. Сначала появился Реляционный Пролог, далее последовали: Параллельный Пролог и несколько других версий.

Несмотря на обилие теоретических работ и волнующих идей, концепция логического программирования казалась нереалистичной. В этот период в результате исследования, проведённого в США, были обнаружены серьёзные недостатки “языков искусственного интеллекта следующего поколения”. Основные претензии к таким языкам программирования заключались в следующем: они были неэффективны и очень трудны в реализации.

В такой атмосфере появление компилятора с Пролога-10 стало почти фантастическим явлением. Компилятор был почти полностью написан на Прологе, что наводило на мысль о том, что сила логического программирования может принести выигрыш и в классических программистских задачах, а не только в изощрённых проблемах искусственного интеллекта.

Может быть, позже логическое программирование и покинуло бы задворки программистских исследований, если бы не японский проект пятого поколения. Именно с этого момента произошел переход Пролога от юности к зрелости.

Зрелость языка означает то, что он больше не является доопределяемой и уточняемой научной концепцией, а становится реальным



Интересная статья: Быстрое написание курсовой работы