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.