A Prolog implementation of Python