Vlákno názorů k článku
Mercury: Programování s pomocí instalatéra

> kompilátor to prověří a případně ukáže prstem
> na místo

Podla tohto by sa mohlo zdat, ze kompilator sa snazi "dokazat program". Ak si vsak dobre pamatam z Teorie programovania, tak dokazat cyklus/rekuziu s trivialnou podmienkou nie je zrovna jednoducha zalezitost. Ako sa kompilator vysporiada s tymto ?
Narazam na problem urcenia ci dany program skonci alebo nie.

> Tzn. že vždy uspěje (nemůže selhat, nemůže
> nevrátit žádné řešení) a vždy vrátí právě jedno
> řešení.
Predpokladam, ze by malo byt : Ak skonci, tak vrati prave jedno riesenie.

Nepletu-li se, tak v Mercury se při překladu používají heuristiky, které někdy nekonečnou rekurzi odhalí a někdy ne. Jinak `det' opravdu znamená, co autor napsal (programátor, který `det' uvede, se ovšem může mýlit).

Dokazat cyklus je trivialni, pokud ti nevadi ze to bude trvat nekonecne dlouho :-).