download.bg
 Вход Списание  Новини  Програми  Статии  Форум  Чат   Абонамент  Топ95   Архив 

Prolog програмиране

Автор
Съобщение
phrozencrew
Вто, 18.01.11, 19:15
В тоя форум езика е интересен поне на двама души. За това ще отворя една тема в която да се събират материали за Prolog - ръководства, лекции, статии и т.н..

КНИГИ И РЪКОВОДСТВА
Малко книжки за Prolog, които съм си свалял, когато ми беше интересен езика. Книжките са що-годе съвременни, а някои са напълно по стандарта.
--
Ivan Bratko - Prolog Programming for Artificial Intelligence (3rd ed.).pdf
Artificial Intelligence - Logic Programming and Prolog - 2nd.ed[2000] - Ulf Nilsson and Jan Maluszynski.pdf
Introduction ot Logic Programming Trought Prolog - Spivey.pdf
Learn Prolog Now! - Patrick Blackburn, Johan Bos , Kristina Striegnitz.pdf
Prentice Hall - Artificial Intelligence Through Prolog By Neil C Rowe.pdf
Programming in Prolog - Using the ISO Standard, Fifth Edition.pdf
Prolog A Tutorial Introduction.pdf
Prolog Experiments in Discrete Mathematics, Logic, and Computability.pdf
Prolog Programming For Artificial Intelligence.chm
Prolog programming in depth.pdf
Springer - Logic Programming With Prolog (2005).pdf
The Art of Prolog.pdf

--
Архив със всичките съм качил тук: Prolog Programming Books.
или
Prolog Programming Books
или
Prolog Programming Books


ЛЕКЦИИ НА БЪЛГАРСКИ
Случайно намерих с google едни упражнения за Prolog на сървара на ПУ-то:
Програмиране с Prolog - упражения

Лекциите все още не съм ги намерил, но мисля, че може да изскочат отнякъде.

ЛЕКЦИИ НА РУСКИ
Приличен курс по Prolog на руски:
http://www.mari.ru/mmlab/home/prolog/study_l.html

И без това има доста малко "работеща" информация за този език. Та за това реших да събера всичко на куп. Може на някой ентусиаст да му е интересно да задълбае в този логически език.

редактиран от phrozencrew на 18.01.11 20:48
angelicstar
Сря, 19.01.11, 14:33
Ами много хубава тема. Ще видя какво може да допълня.
Само не знам за какво във форум дето се посещава от 20 човека и само 2 се интересуват.
phrozencrew
Чет, 20.01.11, 19:37
Попаднах на уникално яко туториали за Prolog на този сайт:
http://oopweb.com/Prolog/Files/Prolog.html

Ръководствата са:
Adventure In Prolog
Building Expert Systems In Prolog
Prolog Programming A First Course

Ако Prolog дава изключителна мощ при deep backtracking (нека някой предложи подходящ израз на български), то ще ви липсват много други неща от съвременните езици. Е има решение на това (освен компилирането и exec). Някои езици позволява вграждане чрез модули директно в кода Prolog заявки. Един такъв модул е AI::Prolog за Perl. Ето една интересна тема за комбинацията Perl и Prolog:
Logic programming with Perl and Prolog

angelicstar
Пет, 21.01.11, 14:05

RE: Prolog програмиране

” ... deep backtracking (нека някой предложи подходящ израз на български)... „
Ами в тая дето я чета* го дават "възвратно търсене в дълбочина" и "дълбочинно търсене с възврат". Ама май и те не са много на ясно и повечето пъти използват само "възврат".
-----
* /"Програмиране на Пролог. Основи и приложения"/
редактиран от angelicstar на 21.01.11 14:56
phrozencrew
Пет, 21.01.11, 18:56
Още яко инфо на български!!! Лекции и упражнения от Софийския университет - ФМИ. Пречупени са през погледа на студентите и са откровено забавни !

Логическо програмиране с Prolog - лекции
Логическо програмиране с Prolog - упражнения

В по-горните материали се споменава сайт, който е събрал най-често срещаните проблеми при писане на Prolog. Проблемите са разделени в 7 секции: 1. Prolog Lists; 2. Arithmetic; 3. Logic and Codes; 4. Binary Trees; 5. Multiway Trees; 6. Graphs; 7. Miscellaneous
Сайта е тук:
Prolog Problems - remake of the P-99: Ninety-Nine Prolog Problems

Намерих и още едни страхотни лекции на двама корейски преподаватели (ехх тия корейци, напоследък много харесвам корейски продукции). Лекциите са на английски де, не съм научил корейски , но наистина са много гот:
Symbolic Programming - Course Syllabus
Базирани са на ръководството Ivan Bratko - Prolog Programming for Artificial Intelligence (3rd ed.).

angelicstar
Нед, 23.01.11, 12:00
Ами чак такива формички не знам може ли да станат, ама те и въобще не са притрябвали в Пролог. Има някакви пакети за правене на GUI, даже цял Visual Prolrg има. Само че това е колкото да си играе който му е кеф.
Въобще Пролог е съвсем различен език от всички други. Няма как да се сравнява с VB, Pascal и разни такива.
Във всички други езици програмата представлява описание какво трябва да се направи, за да се получи дадена задача. В Пролог в Пролог само се описва задачата. Дава се условието и се описват ако трябва разни допълнителни правила. От там нататък вътрешният логически процесор на езика сам си прави сметка какво да прави. Няма нужда програмистът да му предписва някакви действия.
Та затова Пролог са води описателен /дескриптивен/ език, а останалите са предписателни /прескриптивни/.

Примерно може да се въведе описание на правилата за решаване на 4-те типа алгебрични уравнения и после програмата сама може да решава всякакви уравнения. Няма нужда от отделно програмиране на самите действия за решаване, само правилата стигат.
Въобще Пролог не е много по смятането. Повече работи с факти и логически връзки между фактите. Затова го смятат най-добър за правене на експертни системи и решаване на некоректно зададени задачи. Много е известен случаят с откриването на петролните залежи в Нигерия. В медицината се използват пък диагностични системи, които се оправят с неясно описани оплаквания.
Друго важно за Пролог е, че работи в плътен диалог с оператора. Даже знае как сам да си иска да му вкараш допълнително инфо като види, че нещо запецва. Повечето в такива случаи се прави някаква формичка за GUI за удобство на оператора. Иначе диалога може да си върви и на команден промпт.

редактиран от angelicstar на 23.01.11 12:02
phrozencrew
Нед, 23.01.11, 14:57
Използва се и за писане на логически игри, като Шах, Судоку, игри с карти и т.н.

Коментар

за нас | за разработчици | за реклама | станете автори | in english  © 1998-2024   Experta Ltd.