home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l210 / 1.ddi / REFEXAMP.ARC / BIOS3.PRO < prev    next >
Encoding:
Text File  |  1988-06-21  |  299 b   |  11 lines
  1. %======================    bios/3               =============================
  2. PREDICATES
  3.   dosver(REAL)
  4.  
  5. CLAUSES
  6.   dosver(VERSION):-
  7.     AX=48*256,bios($21,reg(AX,0,0,0,0,0,0,0),reg(VV,_,_,_,_,_,_,_)),
  8.     L=VV div 256, H=VV-256*L, VERSION=H+L/100.0.
  9.  
  10. GOAL dosver(X), write("\nDos version=",X).
  11.