added number/1, convert tests to use new interface for pl-solve-all