home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / REFOUT / ERATOSTH.REF < prev    next >
Text File  |  1996-06-04  |  3KB  |  132 lines
  1.  
  2. *** Yes
  3. > > N=?2 3 5 7 11 13 17 19 
  4.  
  5.  
  6. @(2 => prime(_A: 2),
  7.   3 => prime(_B: 3),
  8.   4 => multiple_of(_A),
  9.   5 => prime(_C: 5),
  10.   6 => multiple_of(_B),
  11.   7 => prime(_D: 7),
  12.   8 => multiple_of(_A),
  13.   9 => multiple_of(_B),
  14.   10 => multiple_of(_C),
  15.   11 => prime(11),
  16.   12 => multiple_of(_B),
  17.   13 => prime(13),
  18.   14 => multiple_of(_D),
  19.   15 => multiple_of(_C),
  20.   16 => multiple_of(_A),
  21.   17 => prime(17),
  22.   18 => multiple_of(_B),
  23.   19 => prime(19))
  24. *** Yes
  25. --1> N=?
  26. *** No
  27. --1> 
  28. *** No
  29. > N=?2 3 5 7 11 13 17 19 23 29 31 37 41 43 47 53 59 61 67 71 73 79 83 89 97 
  30.  
  31.  
  32. @(2 => prime(_A: 2),
  33.   3 => prime(_B: 3),
  34.   4 => multiple_of(_A),
  35.   5 => prime(_C: 5),
  36.   6 => multiple_of(_B),
  37.   7 => prime(_D: 7),
  38.   8 => multiple_of(_A),
  39.   9 => multiple_of(_B),
  40.   10 => multiple_of(_C),
  41.   11 => prime(_E: 11),
  42.   12 => multiple_of(_B),
  43.   13 => prime(_F: 13),
  44.   14 => multiple_of(_D),
  45.   15 => multiple_of(_C),
  46.   16 => multiple_of(_A),
  47.   17 => prime(_G: 17),
  48.   18 => multiple_of(_B),
  49.   19 => prime(_H: 19),
  50.   20 => multiple_of(_C),
  51.   21 => multiple_of(_D),
  52.   22 => multiple_of(_E),
  53.   23 => prime(_I: 23),
  54.   24 => multiple_of(_B),
  55.   25 => multiple_of(_C),
  56.   26 => multiple_of(_F),
  57.   27 => multiple_of(_B),
  58.   28 => multiple_of(_D),
  59.   29 => prime(_J: 29),
  60.   30 => multiple_of(_C),
  61.   31 => prime(_K: 31),
  62.   32 => multiple_of(_A),
  63.   33 => multiple_of(_E),
  64.   34 => multiple_of(_G),
  65.   35 => multiple_of(_D),
  66.   36 => multiple_of(_B),
  67.   37 => prime(_L: 37),
  68.   38 => multiple_of(_H),
  69.   39 => multiple_of(_F),
  70.   40 => multiple_of(_C),
  71.   41 => prime(_M: 41),
  72.   42 => multiple_of(_D),
  73.   43 => prime(_N: 43),
  74.   44 => multiple_of(_E),
  75.   45 => multiple_of(_C),
  76.   46 => multiple_of(_I),
  77.   47 => prime(_O: 47),
  78.   48 => multiple_of(_B),
  79.   49 => multiple_of(_D),
  80.   50 => multiple_of(_C),
  81.   51 => multiple_of(_G),
  82.   52 => multiple_of(_F),
  83.   53 => prime(53),
  84.   54 => multiple_of(_B),
  85.   55 => multiple_of(_E),
  86.   56 => multiple_of(_D),
  87.   57 => multiple_of(_H),
  88.   58 => multiple_of(_J),
  89.   59 => prime(59),
  90.   60 => multiple_of(_C),
  91.   61 => prime(61),
  92.   62 => multiple_of(_K),
  93.   63 => multiple_of(_D),
  94.   64 => multiple_of(_A),
  95.   65 => multiple_of(_F),
  96.   66 => multiple_of(_E),
  97.   67 => prime(67),
  98.   68 => multiple_of(_G),
  99.   69 => multiple_of(_I),
  100.   70 => multiple_of(_D),
  101.   71 => prime(71),
  102.   72 => multiple_of(_B),
  103.   73 => prime(73),
  104.   74 => multiple_of(_L),
  105.   75 => multiple_of(_C),
  106.   76 => multiple_of(_H),
  107.   77 => multiple_of(_E),
  108.   78 => multiple_of(_F),
  109.   79 => prime(79),
  110.   80 => multiple_of(_C),
  111.   81 => multiple_of(_B),
  112.   82 => multiple_of(_M),
  113.   83 => prime(83),
  114.   84 => multiple_of(_D),
  115.   85 => multiple_of(_G),
  116.   86 => multiple_of(_N),
  117.   87 => multiple_of(_J),
  118.   88 => multiple_of(_E),
  119.   89 => prime(89),
  120.   90 => multiple_of(_C),
  121.   91 => multiple_of(_F),
  122.   92 => multiple_of(_I),
  123.   93 => multiple_of(_K),
  124.   94 => multiple_of(_O),
  125.   95 => multiple_of(_H),
  126.   96 => multiple_of(_B),
  127.   97 => prime(97),
  128.   98 => multiple_of(_D),
  129.   99 => multiple_of(_E))
  130. *** Yes
  131. --1> 
  132.