home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l210 / 1.ddi / PIE.ARC / MIXTURE.PIE < prev    next >
Encoding:
Text File  |  1988-06-21  |  835 b   |  42 lines
  1. /*
  2.    Copyright (c) 1986, 88 by Borland International, Inc
  3. /*
  4. DOMAINS
  5.   LIST = INTEGER*
  6.  
  7. PREDICATES
  8.   append(LIST,LIST,LIST)
  9.   member(INTEGER,LIST)
  10.   reverse(LIST,LIST)
  11.   rev(LIST,LIST,LIST)
  12.   genl(INTEGER,LIST)
  13.   for(INTEGER,INTEGER,INTEGER)
  14.   timer
  15.  
  16. CLAUSES
  17. */
  18.   append([],L,L).
  19.   append([X|L1],L2,[X|L3]):-append(L1,L2,L3).
  20.  
  21.   member(X,[X|_]).
  22.   member(X,[_|L]):-member(X,L).
  23.  
  24.   reverse(L1,L2):-rev(L1,[],L2).
  25.  
  26.   rev([],L,L):-!.
  27.   rev([H|T],L1,L2):-rev(T,[H|L1],L2).
  28.  
  29.   genl(0,[]):-!.
  30.   genl(N,[N|L]):-N1 is N-1, genl(N1,L).
  31.  
  32.   for(I,I,_).
  33.   for(I,Start,Stop):-
  34.     Start<Stop,Start1 is Start+1,for(I,Start1,Stop).
  35.  
  36.   timer:-
  37.     time(H1,M1,S1,D1),
  38.     genl(10,L),reverse(L,_),
  39.     time(H2,M2,S2,D2),
  40.     Time is (D2-D1)+100*( (S2-S1) + 60*( (M2-M1) +60*(H2-H1) ) ),
  41.     write("Time = ",Time,"/100 Sec" ),nl.
  42.