Modified. Implemented allConfiguration and hasSolution method in the
SWIProlog solver