)
 2: askinteger &lt;2&gt;  (Functions and Variables for Facts)
 3: askinteger &lt;3&gt;  (Functions and Variables for Facts)
 4: beta_args_sum_to_integer  (Gamma and factorial Functions)
 5: integer  (Functions and Variables for Properties)
 6: integer_partitions  (Functions and Variables for Sets)
 7: integer_partitions &lt;1&gt;  (Functions and Variables for Sets)
 8: integerp  (Functions and Variables for Numbers)
 9: integervalued  (Functions and Variables for Properties)
 10: noninteger  (Functions an