This paves the way to regularize the defs between Python and Prolog (and and future other) implementations.