[зачем]пролог

где-то он используется, и это стопудово. может быть в системах принятия решений. пролог важен тем, что он является языком какого-то класса. т.к. я не умею программировать только на С (иногда с классами) судить о классе языков программирования к которому относится пролог не могу. но он надо. он очень хорошо.

Как любили поговаривать у нас в универе, эта наука весьма важна для получения зачёта и только лишь.

математическая логика -> логика предикатов -> prolog матчасть так сказать

Пролог нужен!

Это один из примеров логической парадигмы программирования.

Ну и ещё один ответ уже озвучили выше.

в экспертных системах? для анализа, например законов на противоречивость?

Будто б дискретка и мат анализ мозг предварительно не сворачивают..

> Будто б дискретка и мат анализ мозг предварительно не сворачивают..

Ну так иди в армию, там нужны с прямыми мозгами. Или не ной.

>Ну так иди в армию

Сам иди, раз не осилил осмыслить написанное ;)

>не ной

Это не обо мне. Не делай так.

Ох... Как я жалею что когда у нас этот курс был я его не хотел понимать, да и препод баран был.

>Тоесть где этот язык программирования реально используется?

А изучение только из радости познания нового уже не в моде?

> А изучение только из радости познания нового уже не в моде?

через какое-то время с набором опыта начинаешь понимать, что изучение ради изучения без возможности практического применения - это вещь совершенно бессмысленная :)

// wbr

Нет, такая картина мира меня определённо не радует.

Один мой знакомый в 90-х годах прошлого века писал на прологе систему поддержки принятия решений при выборе целей для баллистических ракет :-)

>где этот язык программирования реально используется?

там, где у программистов хватает мозгов его использовать

>мертворожденное дитя

не позорься

>там, где у программистов хватает мозгов его использовать
>не позорься

смысл = 0

лучше бы пример привел, а не бросался пустыми фразами, строя из себя мегапапку

Пролог полезен для изучения логики предикатов. Ну и вообще в области ИИ.

Ну а сейчас модно писать скорее на AIML или каких то других специализированных языках.

>Многие, наверное помнят сие мертворожденное дитя.

Это вы про себя ???

>У нас в универе есть курс пролога

Оччень замечательно !!!

>Я вот уже месяца 2 думаю зачем оно надо?

для работы.

>лучше бы пример привел

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

http://www.logic.at/prolog/faq/faq.html#AEN741

пример чего? тебе непонятно зачем нужна формальная логика? или как её применить в программировании? фразы reasoning about programs и formal verification тебе о чём-то говорят?

>Это вы про себя ???
убейся, жестянка12

>http://mitpress.mit.edu/sicp/full-text/book/book-Z-H-29.html#%_sec_4.4
>http://www.logic.at/prolog/faq/faq.html#AEN741
пасиба большое. тему можна закрывать.

>пасиба большое

не за что. если бы топик был написан не так толсто, нормальных ответов было бы куда больше