9. Number Logic Programs