Prolog, Mercury and the termination problem - Sasak, Anna (Wydaw. Uniwersytetu Marii Curie-Skłodowskiej)