A turing machine simulation in prolog written as semester work at the university for "programming paradigms"