home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l210 / 1.ddi / REFEXAMP.ARC / CSRFRM2.PRO < prev    next >
Encoding:
Text File  |  1988-06-21  |  485 b   |  18 lines
  1. %====================== cursorform/2          ===============================
  2. predicates
  3.   for(INTEGER,INTEGER,INTEGER)
  4.   testcursorform
  5.  
  6. clauses
  7.   for(X,X,_).
  8.   for(I,A,B):-B>A,A1=A+1,for(I,A1,B).
  9.  
  10.   testcursorform:-
  11.     for(StartLine,0,10), for(EndLine,0,10),
  12.     cursorform(StartLine, EndLine),
  13.     write("StartLine=",StartLine, ", EndLine= ", EndLine, " Press any key "),
  14.     readchar(_),nl,
  15.     StartLine=10,EndLine=10,!.
  16.  
  17. GOAL cursorform(A,B), testcursorform, cursorform(A,B).
  18.