examples/example8.dl

   1 is_string(X: 'string').
   2 is_string(1)?
   3 is_string(1.0)?
   4 is_string("1")?
   5 is_string([1])?
   6
   7 is_float(X: 'float').
   8 is_float(1)?
   9 is_float(1.0)?
  10 is_float("1")?
  11 is_float([1])?
  12
  13 is_integer(X: 'integer').
  14 is_integer(1)?
  15 is_integer(1.0)?
  16 is_integer("1")?
  17 is_integer([1])?
  18
  19 is_numeric(X) :- is_float(X); is_integer(X).
  20 is_numeric(1)?
  21 is_numeric(1.0)?
  22 is_numeric("1")?
  23 is_numeric([1])?
  24
  25 is_list(X: 'list').
  26 is_list(1)?
  27 is_list(1.0)?
  28 is_list("1")?
  29 is_list([1])?