Experimental implementation of a limited MD5 algorithm in the Prolog programming language to find out whether it is possible to obtain the inverse of MD5 using the natural property of Prolog predicates (which are real logical relationships rather than functions if implemented properly), which is the logical "reversibility".
Eksperymentalna implementacja ograniczonego algorytmu MD5 w Prologu celem sprawdzenia, czy możliwe jest uzyskanie funkcji odwrotnej do MD5 korzystając z naturalnej właściwości prologowych predykatów (będących prawdziwymi logicznymi relacjami a nie funkcjami jeżeli poprawnie je zaimplementować), którą jest logiczna "odwracalność".