Зачем нужно логическое программирование хорошо показано в лекциях Сошникова. Жалко, что пока по Mercury нет таких учебников, как Братко для Пролога.

А с практической плоскостью пока проблемы, согласен. Очень сложно сдвинуть программистов, которые хотят зарабатывать деньги, чтобы они начали применять новый язык. Вакансии, где требуют Mercury, вы не найдете точно. Разве что примените где-нибудь в проектах "для себя" или "для души". Но такой код никто не захочет поддерживать кроме вас, чем заранее обрекаете проект на развитие только одним человеком. Да и такие проекты вряд ли кто покажет.

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

Я сам долго метался, выбирал язык для "расширения сознания". Просто на каком-то этапе до чертиков надоело императивное программирование. Понял, что перерос. Душа просит чего-то нового, интересного. Хочется писать что-то посложнее "учета чего-то".

Сначала сунулся в Пролог и функциональные языки, потом Visual Prolog, а потом нашел Mercury и понял, что это именно то, что я хотел. Вот потихоньку изучаю, думаю... Пока энтузиазм есть, но тоже со временем проблема. Правда мне спешить некуда, меня никто не гонит.

Если искать работу, то да, придется потратить какое-то время. И не надо пугаться "опыта не менее двух лет". С их стороны тоже проблема - брать некого. Не факт, что найдут или найдут за нужную цену. Многие даже сами хотят взять студента, чтобы его потом обучить.

И что тут значит слово "мир"?

Например, первая переменная - сделано первое, следующая переменная - сделано второе. Там демонстрация есть при выводе на экран или считывании ввода пользователя. Назад возврата нет - поэтому предыдущая переменная деструктивно разрушается на входе и одновременно создается новая уникальная (одноразовая) переменная на выходе.

Короче, способ представления последовательных действий. Дело в том, что по иделологии декларативного программирования последовательность действий не описывается. Она вообще не имеет значение. При формулировании условия задачи можно переставлять предложения. Например, найти X при условиях Y1, Y2, Y3. В данном случае условия можно безболезненно переставлять и не имеет значения какое проверять первым - компилятор сам решит.

Зато при взаимодействии с внешним миром нужна четкая последовательность целей или алгоритм. Вот для эмуляции алгоритма и введены эти переменные. Это отличие от Пролога. Там порядок следования целей в предикате не нарушается. Поэтому работают такие фишки, как отсечения.

Добавлено (05.10.2010, 11:44)
---------------------------------------------
Сырые версии, c Aditi проблемы, грустно все, но лучше язычка ЛП пока не видел, думаю доделают

итак, я хочу написать в Меркури аналог вот такого:

parent(father,sun).

?- parent(father, X).
X = sun .

как я написал:

:- module test.

:-interface.
:-import_module io, string.
:-pred main(io::di,io::uo) is det.

:-implementation.
:- pred parent(string, string).
:- mode parent(in, out) is semidet.

parent("father", "sun").

main(!IO) :-
parent("father", X),
io.write_string(X, !IO),
io.nl(!IO).

вывод компилятора на это:

$ mmc --make test
Making Mercury/int3s/test.int3
Making Mercury/ints/test.int
test.m:001: In module `test':
test.m:001: warning: module `string' is imported in the interface, but is not
test.m:001: used in the interface.
Making Mercury/cs/test.c
test.m:001: In module `test':
test.m:001: warning: module `string' is imported in the interface, but is not
test.m:001: used in the interface.
test.m:005: Error: main/2 must be `det' or `cc_multi'.
test.m:005: In `main'(di, uo):
test.m:005: error: invalid determinism for a predicate with I/O state
test.m:005: arguments.
For more information, recompile with `-E'.
** Error making `Mercury/cs/test.c'.

что-то пишет про ошибку детерминизма, но я перепробывал все возможные det, semidet, cc_multi - пофиг.

очень надеюсь на помощь, спасибо.

Просьба посмотреть, что получилось, со статьей, и если что поправить. Только просьба — шибко умные термины делать ссылками на русскую или английскую вики, или ещё куда, где эти термины разъяснены. После утверждений вроде Mercury в 10 раз быстрее Пролога, надо делать сноску вида<ref>[http://benchmark.tyt бенчмарк]</ref>. Ну или просто пишите замечания в форуме, а я в статью добавлю.