home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l216 / 2.ddi / XTRAVEL.PRO < prev    next >
Encoding:
Text File  |  1987-03-23  |  3.9 KB  |  148 lines
  1. /*******************************************************************
  2.  
  3.      Turbo Prolog Toolbox
  4.      (C) Copyright 1987 Borland International.
  5.  
  6.              Demo of screen handler
  7.           Will you reach your destination in time ?
  8. *******************************************************************/
  9.  
  10. code=2000
  11.  
  12. include "tdoms.pro"
  13.  
  14. DOMAINS
  15.   FNAME=SYMBOL
  16.   TYPE = int(); str(); real()
  17.  
  18. DATABASE
  19.   /* Database declarations used in SCRHND.PRO */
  20.   insmode            /* Global insertmode */
  21.   actfield(FNAME)        /* Actual field */
  22.   screen(SYMBOL,DBASEDOM)    /* Saving different screens */
  23.   value(FNAME,STRING)        /* value of a field */
  24.   field(FNAME,TYPE,ROW,COL,LEN)    /* Screen definition */
  25.   txtfield(ROW,COL,LEN,STRING)
  26.   windowsize(ROW,COL).
  27.   notopline
  28.  
  29.   /* database predicates used by VSCRHND.PRO */
  30.   windstart(ROW,COL)
  31.   mycursord(ROW,COL)
  32.  
  33.   /* Database declarations used in LINEIN.PRO */
  34.   lineinpstate(STRING,COL)
  35.   lineinpflag
  36.  
  37.   flip(STRING).
  38.  
  39. include "tpreds.pro"
  40. include "status.pro"
  41. include "lineinp.pro"
  42. include "scrhnd.pro"
  43.  
  44. PREDICATES
  45.   timesplit(STRING,INTEGER,INTEGER,INTEGER)
  46.   timediff(STRING,STRING,REAL)
  47.   std(STRING,STRING)  
  48.  
  49. GOAL consult("xtravel.scr"), createwindow(off), scrhnd(off,_).
  50.  
  51. CLAUSES
  52. /*******************************************************************
  53.                Field action                    
  54. ********************************************************************/
  55.  
  56.   field_action(timenow):-
  57.       makewindow(1,7,7,"Set new time",5,5,8,40),
  58.       write("Hours:  \t"),readint(H),nl,
  59.       write("Minutes:\t"),readint(M),nl,
  60.       write("Seconds:\t"),readint(S),
  61.       time(H,M,S,0),fail.
  62.  
  63.   field_action(timenow):-
  64.     removewindow.      
  65.  
  66.   field_action(speed):-
  67.       makewindow(1,7,7,"Speed Window",5,5,8,40),
  68.       write("\n   This is not an input window."),sound(100,300),
  69.       readchar(_),
  70.       removewindow.
  71.  
  72. /*******************************************************************
  73.               Field_value
  74. *********************************************************************/
  75.  
  76.   field_value(timenow,TIME):-!,
  77.     time(Ho,M,S,H),
  78.     T=S+((H+50) div 100),
  79.     str_int(Seconds,T),std(Seconds,SecondsSt),
  80.     str_int(Minutes,M),std(Minutes,MinutesSt),
  81.     str_int(Hour,Ho),
  82.     std(Hour,HourSt),
  83.     concat(HourSt,":",S1),concat(S1,MinutesSt,S2),concat(S2,":",S3),
  84.     concat(S3,SecondsSt,Time).
  85.  
  86.   field_value(speed,NecSpeed):-!,
  87.     field_value(timenow,TimeStr),
  88.     value(arrivet,ArriveStr),
  89.     timediff(ArriveStr,TimeStr,TimeSecs),
  90.     value(miles,MileStr),!,
  91.     str_real(MileStr,NoOfMiles),
  92.     RealSpeed = NoOfMiles/(TimeSecs/3600),
  93.     str_real(NecSpeed,RealSpeed).
  94.  
  95.   field_value(flip,STR2):-!,
  96.     time(_,_,_,H), F=H*100+10,sound(1,F),
  97.     retract(flip(STR)),
  98.     frontchar(STR,CH,STR1),
  99.     str_char(CHS,CH),
  100.     concat(STR1,CHS,STR2),
  101.     assert(flip(STR2)),!.
  102.  
  103.   field_value(Fn,X):-value(Fn,X),!.   /* Values from normal user input */
  104.  
  105.   flip("■■■■■■■■■■■■■■■■                            ").
  106.  
  107. /*******************************************************************
  108.                noinput                    
  109. ********************************************************************/
  110.  
  111.   noinput(speed).         
  112.   noinput(timenow).
  113.   noinput(flip).
  114.  
  115. /*******************************************************************
  116.                Intermediate predicates
  117. ********************************************************************/
  118.  
  119. DOMAINS
  120.   ILIST = INTEGER*
  121.  
  122. PREDICATES
  123.   str_intgl(STRING,ILIST)
  124.  
  125. CLAUSES
  126.   str_intgl("",[]):-!.
  127.   str_intgl(STR,[H|T]):-
  128.     fronttoken(STR,INTSTR,REST),
  129.     str_int(INTSTR,H),!,
  130.     str_intgl(REST,T).
  131.   str_intgl(STR,T):-
  132.     fronttoken(STR,_,REST),
  133.     str_intgl(REST,T).
  134.  
  135.   timesplit(TimeStr,H,M,S):-
  136.     str_intgl(Timestr,Intglist),
  137.     Intglist=[H,M,S].
  138.  
  139.   timediff(TimeStr1,TimeStr2,DiffSecs):-
  140.     timesplit(TimeStr1,H1,M1,S1),
  141.     timesplit(TimeStr2,H2,M2,S2),
  142.     TotSecs1 = H1*3600.0+M1*60+S1,
  143.     TotSecs2 = H2*3600.0+M2*60+S2,
  144.     DiffSecs=TotSecs1-TotSecs2.                    
  145.  
  146.  std(H,HS):-str_len(H,L),L<2,!,concat("0",H,HS).        
  147.  std(H,H).
  148.