home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l217 / 2.ddi / REFEXAMP / RESZWND4.PRO < prev    next >
Encoding:
Text File  |  1990-03-26  |  524 b   |  19 lines
  1. %====================== resizewindow/4             ===============================
  2. predicates
  3.    exp_window(integer)
  4.  
  5. clauses
  6.    exp_window(0):- !.
  7.    exp_window(N):-
  8.       makewindow(_,_,_,_,A,B,C,D),
  9.       A1 = A-1, B1 = B - 2, C1 = C + 2, D1 = D + 4,
  10.       resizewindow(A1,B1,C1,D1),
  11.       N1 = N - 1, exp_window(N1).
  12.  
  13. goal
  14.    makewindow(1,7,7,"Test 1",10,20,3,10),
  15.    exp_window(9),
  16.    makewindow(2,7,7,"Test 2",12,50,3,10),
  17.    exp_window(9),
  18.    makewindow(3,7,7,"Test 3",14,16,3,10),
  19.    exp_window(8).