repackage solve -> solver
Massage exceptions - avoid any non PrologException
Refactoring