"U pouhé syntaktické podobnosti to ale také zůstane"
No, nevim, me to tedy Prolog pripomina docela dost, rozhodne nejenom syntakticky. Zakladni rozdil bych videl spis v interpretaci&terminologii. A samozrejme ty novinky jako determinismus, atd. Skoro bych ale rekl, ze by to prinejmensim castecne slo emulovat primo v Prologu.
(Tohle vse je prvni dojem, tenhle jazyk jsem nikdy predtim nevidel...)
Hlavní rozdíl proti Prologu vidím v tom, že Mercury je čistý logický jazyk, zejména tam není řez nebo jiná podobná prasárna. Když se k tomu přidá typování, determinismus, výjimky a pár dalších vymožeností, jedná se opravdu o úplně jiný jazyk než Prolog.
Mercury bylo v počátcích svého vývoje napsáno v Prologu, postupem času ale bylo kompletně přepsáno do Mercury. Emulace v Prologu by podle mě dnes nebyla o nic jednodušší než třeba v Lispu, s výjimkou zpracování syntaxe.
Syntaxe Mercury bohužel zůstala prologovská. To považuji za největší a fatální nedostatek Mercury. Přestože je Mercury jinak vynikající jazyk, kde člověk tráví skutečně jen minimum času laděním, pro jeho syntaxi jsem jej zavhrl. Na orientaci ve změti všelijakých značek a zohledňování rozdílů mezi závorkou s mezerou a bez mezery, jsem už dávno ztratil chuť.
