sentence: unlike constraint programming toolkits , which expect users to write programs in a traditional programming language like c++ , java or prolog , minion takes a text file which specifies the problem , and solves using only this .