small refactor
arithmetic expressions in prolog
prolog imp interpreter implemented