A Python module to abstract different Prolog implementations