The Janus System Multi-paradigm Programming in Prolog and Python - arxiv.org