Книги по Логическому программированию

Learn Prolog Now!

Пролог за логическое программирование пойдет? тогда [url=http://alexott.net/ru/fp/books/]вот[/url] обзор литературы по ФП, где есть ссылки на книги по прологу

Нет.

Пролог это конечно очень хорошо, но меня как-раз интерисует теория.

А пролог вобще очень кривой язык.

пролог вобще очень кривой язык

почему?

http://mitpress.mit.edu/sicp/full-text/book/book-Z-H-29.html#%_sec_4.4

есть и на русском

Эм он же лисп ?

почему?

Если так поверхносно синтаксис неудобный, возможностей мало. Я например считаю, что в нормальном лог. языке ООП должно легко определятся в нем самом. Если язык такую простую концепцию не может определить, то что говорить о сложных вопросах ?

Старая «бумажная» переводная:

К.Хоггер «Введение в логическое программирование». - М.: Мир, 1988.

(английский оригинал - 1984 года)

И мне кажется, что где-то я её видел в djvu. Но не помню где...

нормальном лог. языке ООП должно легко определятся в нем самом

XPCE?

XPCE?

Ну, понимаете, если многим в голову пришло пихать в компилятор ООП, значит не все так просто.

2OldFatMan Спасибо большое (: Пошел конструктив. Почитаем.

электронные книги платные? не знаем слов p2p?

Подсказка: АНГЛИЙСКИЕ электронные книги.

Они мало выкладывают в варез.

Из больше чем делятка книг на Амазоне по лог. проге, на варезе не нашел ни одной.

Запусти Осла и получи тысячи книг на английском языке в ПДФ в отличном качестве. Включая самые свеженькие.

Ок.

Мне не нужны тысячи книг в отличном качестве. Мне нужны книги по логическому программированию.

Их я несколько скачал. Все с одним форматом вступления, видимо одна серия. Но с теми превивы которых я читал на Амазоне не сравнить. С каждым предложением надо разбираться.

А пролог вобще очень кривой язык.

Вообще-то, наоборот, один из самых «ровных» языков.

Я например считаю, что в нормальном лог. языке ООП должно легко определятся в нем самом.

Ну так взял бы да и определил, как, например, здесь http://logtalk.org/. А то определить мозгов не хватает, а уже что-то там считаешь.

Если язык такую простую концепцию не может определить, то что говорить о сложных вопросах ?

<сарказм>Какими вы сложными проблемами озадачены</сарказм>

у тебя потрясающая аргументация - очень кривой, синтаксис неудобный, не всё так просто

впрочем, речь ведь не о том; удачи в поиске литературы

аргументы у него детские; но все равно язык кривой:

1. оператор отсечения меняет семантику

правильно: если компилятор не может доказать, что оператор отсечения не меняет семантику, то дает варнинг; если может доказать, что меняет семантику — дает ошибку

2. щас забыл, но были притензии

3. замкнутая модель мира

4. ну и смотрим mercury на тему исправления тех кривизн, что я не назвал

поищи на library.nu

пункты 1 и (в особенности) 3 - не понял. можно на примерах?

что касается Mercury, Isabelle/HOL, Mozart/Oz и прочих Alice, то хотелось бы всё-таки по существу. основное преимущество Prolog - его простой как валенок алгоритм унификации (да и вообще простота и прямолинейность языка). для перехода на любую более мощную систему логического программирования нужны аргументы (во всяком случае, мне)

Из больше чем делятка книг на Амазоне по лог. проге, на варезе не нашел ни одной.

Облажался.

655 MB , 148 pieces found for logic programming

Программирование на языке Пролог для искусственного интеллекта - Братко И.
Программирование на языке пролог Автор: Клоксин У., Меллиш К

Книги надо покупать, мудило!

Эм.

Облажался.

Можно поподробней ?

false.

?-

Library Genesis

Д. В. Сошников «Парадигма логического программирования»

Там есть теория, есть примеры на Prolog и Mercury.

Малпас Дж. Реляционный язык пролог и его применение. Купил в Петрозаводске во время стоянки поезда в какой-то поход :-) Про ООП как один из способов представления знаний там тоже есть глава страниц на 10-12.

Library Genesis

Спасибо, действительно не так мало книжек.

Спасибо большое всем, кто отписался (:

Буду читать. Потом конечно отпишусь, что понравилось, но уже через некоторый срок (: