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

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

СОДЕРЖАНИЕ.

Введение. – 2. Что же представляют собой языки логического программирования? – 7.

2.1. Чистый Полог. – 7.

2.2. Сравнение с традиционными языками программирования. – 9.

2.3. Программирование на чистом Прологе. – 10.

2.3.1. Порядок правил. – 11.

2.3.2. Проблема завершения программ. – 12.

2.3.3. Порядок целей. – 12.

2.3.4. Избыточные решения. – 13.

2.4.Практические рекомендации. – 14.

2.4.1. Эффективность программ на Прологе. – 15.

2.4.2. Разработка программ. – 16.

2.5. Другие языки логического программирования. – 20.

2.5.1. Язык логического программирования KL0. – 20.

2.5.2. Типы данных KL0. – 20.

2.5.3. Язык программирования ShapeUp. – 22.

3. Lisp – язык функционального программирования. – 23.

3.1. Лисп в истории программирования. – 24.

3.2 Логическое программирование на Лиспе. – 25.

4. Заключение. – 26.

5. Используемая литература. – 28.

1.Введение. Почти все современные компьютеры основаны на ранних, разработанных в 40-х годах идеях фон Неймана и его коллег. Машина фон Неймана содержит большую память и процессор, снабженный локальной памятью, ячейки которой называются регистрами. Процессор может загружать данные из памяти в регистры, выполнять арифметические и логические операции над содержимым регистров и отсылать значения регистров в память. Программа машины фон Неймана представляет собой последовательность команд выполнения перечисленных операций вместе с дополнительным множеством команд управления, влияющих на выбор очередной команды. Хотя компьютеры предназначены для использования людьми, возникающие при их создании трудности были столь значительны, что язык описания проблемы и инструкций для их решения на компьютере разрабатывался применительно к инженерным решениям, заложенным в конструкцию компьютера.

По мере преодоления технических проблем построения компьютеров накапливались проблемы, связанные с их использованием. Трудности сместились из области выполнения программ компьютера в область создания программ для компьютера. Начались поиски языков программирования, пригодных для человека. Начиная с языка, воспринимаемого компьютером (машинного языка), стали появляться более удобные формализмы и системы обозначений. И хотя степень абстракции языков возрастала, начиная с языка ассемблера и далее к Фортрану, Алголу, Паскалю и Аде, все они несут печать машины с архитектурой фон Неймана. Характерные особенности программирования на компьютерах фон Неймана приводят к разделению труда: есть люди, которые думают, как решить задачу, и разрабатывают соответствующие методы, а есть люди-кодировщики, которые пишут тексты программ, т.е. выполняют прозаическую и утомительную работу по переводу инструкций разработчиков в команды, воспринимаемые компьютером.

И в логике, и в программировании требуется явное выражение знаний и методов в некотором подходящем формализме. Явная формулировка каких-либо сведений является утомительной работой. Однако формализация в логике часто является интеллектуально благодарной работой, поскольку при этом приходит большее понимание задачи. В отличие от этого формализация задачи и метода решения в виде набора инструкций машины фон Неймана редко приводит к подобному полезному эффекту.

Похожие работы