Is there a way to extend Einstein's Riddle in Prolog?

来源：https://stackoverflow.com/questions/60809926/is-there-a-way-to-extend-einsteins-riddle-in-prolog