home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / LF / FEAT_ORD.LF < prev    next >
Text File  |  1996-06-04  |  1KB  |  102 lines
  1. test(
  2.     n => "n",
  3.     6 => "6",
  4.     7 => "7",
  5.     qq => "qq",
  6.     rr => "rr",
  7.     13 => "13",
  8.     14 => "14",
  9.     o => "o",
  10.     p => "p",
  11.     '-4' => "-4",
  12.     '-5' => "-5",
  13.     '-6' => "-6",
  14.     l => "l",
  15.     m => "m",
  16.     ff => "ff",
  17.     s => "s",
  18.     ii => "ii",
  19.     12 => "12",
  20.     '-11' => "-11",
  21.     2 => "2",
  22.     3 => "3",
  23.     jj => "jj",
  24.     '-7' => "-7",
  25.     '-8' => "-8",
  26.     t => "t",
  27.     u => "u",
  28.     a => "a",
  29.     y => "y",
  30.     z => "z",
  31.     11 => "11",
  32.     4 => "4",
  33.     5 => "5",
  34.     d => "d",
  35.     e => "e",
  36.     f => "f",
  37.     gg => "gg",
  38.     '-12' => "-12",
  39.     '-13' => "-13",
  40.     ee => "ee",
  41.     b => "b",
  42.     c => "c",
  43.     pp => "pp",
  44.     ww => "ww",
  45.     xx => "xx",
  46.     1 => "1",
  47.     hh => "hh",
  48.     '-3c' => "-3c",
  49.     '-4d' => "-4d",
  50.     aa => "aa",
  51.     15 => "15",
  52.     16 => "16",
  53.     '-' => "-",
  54.     '-1' => "-1",
  55.     '-2' => "-2",
  56.     bb => "bb",
  57.     cc => "cc",
  58.     h => "h",
  59.     i => "i",
  60.     '1b' => "1b",
  61.     j => "j",
  62.     k => "k",
  63.     8 => "8",
  64.     '1a' => "1a",
  65.     uu => "uu",
  66.     vv => "vv",
  67.     '-3' => "-3",
  68.     dd => "dd",
  69.     r => "r",
  70.     '-9' => "-9",
  71.     '-10' => "-10",
  72.     ss => "ss",
  73.     g => "g",
  74.     kk => "kk",
  75.     ll => "ll",
  76.     mm => "mm",
  77.     9 => "9",
  78.     '1c' => "1c",
  79.     q => "q",
  80.     '2c' => "2c",
  81.     '-1a' => "-1a",
  82.     '-2b' => "-2b",
  83.     v => "v",
  84.     w => "w",
  85.     x => "x",
  86.     nn => "nn",
  87.     oo => "oo",
  88.     tt => "tt",
  89.     0 => "0",
  90.     10 => "10",
  91.     yy => "yy",
  92.     zz => "zz",
  93.     '2a' => "2a",
  94.     '2b' => "2b"
  95. ).
  96.  
  97.  
  98. big(N,Y) :- N=Y.N,
  99.         -N=Y.(-N),
  100.        (N=0;
  101.             big(N-1,Y)).
  102.