revert pl-solve-all and pl-solve-one back to original api, ha