С главного http://www.mercurylang.org/ и вроде не какой технический момент, а люди - одни уходят, а другие не могут
найти обычный сервер.

Mercury has left the University
There are no more people working on the Mercury project who are also working at the University of Melbourne. As such it has become necessary to move the project outside the University so that we can continue to support it. There have already been a number of changes such as a new website address, new mailing lists and we're now using git and github.com for our VCS. Today the server at the University stopped working and we've re-located the website to the new server, but a number of links are broken including the all-important downloads section. We will fix this in the next few days. and post another update here.

Вот хотел попробовать его применить в реальном проекте. Полез на сайт.
ЗЫ Заинтересовало два в одном - логическое и функциональное.

ZyK_BotaNу меня все работе, что не так?
з.ы. имхо, проще учить по отдельности: логическое - по прологу, функциональное - по хацкелю...

не учить, а применить в проекте
ЗЫ Программки на Прологе разных диалектов уже давно умел писать, а на Haskell-е недавно сподобился простенькие писать.

КРАСИВО же! И на 40% ради искусства в проекте хотел применить.А на 70% действительно лучше по многим аспектам как прогр. лог-го пр. и как прогр. функц. пр.

--------
И нужно вызывать из Delphi и Java, и возвращать в Delphi и Java, либо в БД.

Mercury через dll возможно.
Для Java Prolog-ов много, причем многие и написаны на Java. С Delphi ситуация сложнее.
С функц. языками все обещают, что отработано для Java.
......
......

Haskell. Не пробовал Foreign Function Interface (FFI), что для спряжения с другими языками? Может есть примерчик - показывающий, что это и почему так. Что-то с документацией про на сайте совсем никак.

Причем у Haskell, как заявлено на сайте http://www.haskell.org, какого-то прямого механизма к Java НЕТ.
А есть, например, Interoperation between Haskell and Java is provided by Lambada via the Java Native Interface (JNI) ...
Это что??

Или как-то попытаться через C, то есть Haskell <-> C <-> Java?
Из Java запустить поток, написанный на C, где ...
??