What is the relation of Prolog constraint programming and "Google OR-Tools" ?