Поиск: 
Расширенный поиск | Последние запросы
FREE-REFERATS.ru

Банк бесплатных рефератов

Бесплатные рефераты > Темы > Компьютеры и программы > Реферат "Обзор языков логического программирования"

Рефераты по Компьютеры и программы - "Обзор языков логического программирования"

Страница: 1 2 3 4 5 6 7 8 9
Обзор языков логического программирования
Скачать реферат "Обзор языков логического программирования"
Содержание


СОДЕРЖАНИЕ.
 
 
 

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

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

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

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

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

Основание символьной логики были заложены Булем, Де Морганом и другими в прошлом столетии. Современную, систематическую формулировку логики  первого порядка изложил Фреге. В течение длительного времени семантика (или “значение”) логики оставалось запутанным предметом, но в конце концов значительная ясность в него была внесена Тарским.

Страница: 1 2 3 4 5 6 7 8 9

© 2003-2016 Free-Referat.ru - Рефераты, Курсовые, Дипломы, Доклады, Шпаргалки
Notice: Undefined index: r in /home/bitrix/ext_www/free-referat.ru/index.php on line 264 Notice: Undefined index: in /home/bitrix/ext_www/free-referat.ru/index.php on line 264