розв язування математичних задач помощью мови логічного програмування Prolog
Вступ
мова програмування пролог
Майже всі сучасні комп ютері засновані на ранніх, розроблення у 40-х роках ідеях Фон Неймана та его колег. Машина Фон Неймана має більшу пам ять и процесор, оснащення локальних пам яттю и коміркамі, что назіваються регістрамі. Процесори может завантажуваті дані з пам яті в регістрі, Виконувати аріфметічні та логічні операции над вмістом регістрів и надсилати значення регістрів на згадку. Програма машини Фон Неймана представляет собою послідовність команд виконан перерахованого операцій вместе с Додатковий більшістю команд управління, Які вплівають на вибір наступної команди. У міру Подолання технічних проблем создания комп ютерів накопічуваліся проблеми пов язані з їх використанн. Труднощі змістіліся з області виконан програм комп ютера в область создания програм для него. Почаїв Пошуки мов програмування, Які були зрозумілі людіні. Починаючі з мови, яка спріймається комп ютером (машинної мови), стали з являтися більш зручні формалізмі і системи Позначення. І хоч степень абстракції мов зріс, починаючі з нібіто асемблера и далі до Фортрана, Алгола, Паскаля и Аді, всі смороду несуть друк машини З архітектурою Фон Неймана. Характерні Особливості програмування на комп ютер Фон Неймана прізводять до розподілу праці: є люди, Які думають як вірішіті задачу, и Розробляють відповідні методи, а є люди-кодувальщікі, Які пишуть тексти програм, тобто віконують прозаїчну и стомлюючу роботу з перекладу інструкції розроблювачів у команди , Які спріймаються комп ютером.
У логіці, и в програмуванні потрібне Явне вираженість знань и методів у потрібному формалізмі. Явне формулювання яких-небудь відомостей є стомлюючою роботів. Альо формалізація в логіці є часто інтелектуальною працею, оскількі при цьом завдання становится більш зрозумілою. На Відміну Від цього формалізація задачі и методу ее вирішенню у виде набору інструкцій машини Фон Неймана Рідко приводити до потрібного ЕФЕКТ.
Джерела логіки пов язані з дослідженнямі Наукової думки. Логіка є точною мовою для явного вираженість цілей, знань и припущені. Логіка дает вираженість цілей, знань и пропозіцій. Логіка дозволяє Виводити Наслідки вихідних положеннях, а такоже віходячі зі знання про істінність або помілковість Деяк тверджень, сделать Висновок про істінність або помілковість других тверджень. Логіка дозволяє обґрунтовувати несуперечність тверджень и перевіряті істінність наведення доводів.
На сьогоднішній день існує много мов програмування, та їх варіантів, Які Використовують як починаючих програмістамі, так и професіоналами.
Програміст только сообщает сістемі том, что Йому известно та задає питання. Его в більшій мірі цікавлять знання и в меншій - алгоритми, с помощью якіх з ціх знань вілучається необхідна інформація. Саме Цьом для программирования мовою Пролог необходимо свіже логічне мислення, при якому знання таких мов програмування як Паскаль або Бейсік может буті Справжня поміхою. До речі, назва мови ПРОЛОГ є скороченню «Програмування мовою логіки».
Метою роботи є создания програм для моделювання математичних задач помощью мови логічного програмування Prolog
Завдання роботи:
. Освоїті основи мови логічного програмування Prolog ;
. Дослідіті середовища розробки Prolog ;
. Опрацювати літературні и інтернет джерела з теми;
. Опрацювати Відомості про мову логічного програмування Prolog ;
. Помощью Prolog создать Програмні засоби для моделювання математичних задач.
Основними методами дослідження є:
аналіз літературних джерел, в якіх опісуються засоби Prolog и его практичне! застосування;
аналіз демонстраційніх текстів програм на Prolog ;
использование середовища розробки логічного програмування Prolog для АНАЛІЗУ и тестирования програм.
І. Мова логічного програмування - Пролог
. 1 Переваги и Недоліки мови Пролог
Перші ПОВІДОМЛЕННЯ про Пролог з з'явилися на качана сімдесятіх років. ВІН Належить до класу логічніх мов програмування, основні Ідеї розробки якіх предложили Р. Ковальські та П. Хейс. Перший інтерпретатор Прологу БУВ розроблення французами в Марселі під кері...
