Simple and straightforward implementation of Prolog without any side-effects support developed for educational purposes