Рефераты Мова логічного програмування "Пролог"

Вернуться в Кибернетика

Мова логічного програмування "Пролог"
Мова логічного програмування "Пролог"





Постановка завдання



В даній курсовій роботі потрібно ознайомитись з мовами програмування,
зокрема Prolog. З’ясувати як саме мова використовується, де виникла та визначити
принцип її роботи. Розглянути порядок правил мови, дізнатися наскільки вона
ефективна та актуальна.



Основні терміни:


Терм – будь-який об’єкт даних в Пролозі. Терм буває константою, змінною,
складним термом.



Константа – представлена в Пролозі числами і атомами.



Атом – будь-яка послідовність символів, що взята в лапки.



Змінна – будь-яка послідовність символів, букв, цифр та символів-підкреслень,
що починаються з писаної букви.



Складний терм (структура) – складається з атома, що називається головним
функтором (предикатом), і послідовність термів – компонентів структури.



Факт – поодиноке безумовно істинне твердження.





























Зміст




Вступ


1. З історії виникнення мови ПРОЛОГ


2. Актуальність та принцип роботи


3. Чистий ПРОЛОГ


4. Порядок правил та цілей


5. Ефективність програм та їх розробка


Приклади


Висновки


Список використаної літератури


































Вступ



Майже всі сучасні комп’тери засновані на ранніх, розроблених
у 40-х роках ідеях фон Неймана та його коллег. Машина фон Неймана має більшу
пам’ять і процесор, оснащений локальною пам’яттю і комірками, що називаються
регістрами. Процесор може завантажувати дані з пам’яті в регістри, виконувати
арифметичні та логічні операції над вмістом регістрів і надсилати значення регістрів
на згадку. Програма мащини фон Неймана являє собою послідовність команд виконання
перерахованих операцій разом з додатковою більшістю команд управління, які впливають
на вибір наступної команди.В міру подолання технічних проблем створення комп’ютерів
накопичувалися проблеми пов’язані з їх використанням.Труднощі змістилися з області
виконання програм комп’ютера в область створення програм для комп’ютера. Почалися
пошуки мов програмування, які були зрозумілі людині. Починаючи з мови, яка сприймається
комп’ютером (машинної мови), стали з’являтися більш зручні формалізми і системи
позначень. І хоч ступінь абстракції мов зріс, починаючи з нібито асемблера і
далі до Фортрана, Алгола, Паскаля і Ади,всі вони несуть друк машини з архітектурою
фон Неймана. Характерні особливості програмування на комп’ютерах фон Неймана
призводять до розподілу праці: є люди, які думають як вирішити задачу, і розробляють
відповідні методи, а є люди-кодувальщики, які пишуть тексти программ, тобто
виконують прозаїчну і стомлюючу роботу з перекладом інструкції розроблювачів
у команди, які сприймаються комп’ютером.


І у логіці, і в програмуванні потрібне явне вираження знань
і методів у потрібному формалізмі. Явнее формулювання яких-небудь відомостей
є стомлюючоб роботою. Але формалізація в логіці є часто інтелектуальною працею,
оскільки при цьому задача стає більш зрозумілою. На відміну від цього формалізація
задачі і метода її вирішення у вигляді набору інструкцій машини фон Неймана
рідко приводить до подібної корисному ефекту.


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

10 11 12 
Добавить в Одноклассники    

 

Rambler's Top100