---------------------------------------------------------------------- README.DOS for ZD12DOS distribution. D.Gibbon, 27.03.97 You may find it useful to make a hard copy of this file. ---------------------------------------------------------------------- CONTENTS: 1. AUTHORS 2. UNPACKING IN TWO SIMPLE STEPS 3. FIRST STEPS WITH ZDATR 4. FILE LIST 5. CHANGES for DOS 6. DOS (1) WINDOWS (2) DOS ---------------------------------------------------------------------- 1. AUTHORS Specs and Doc: Dafydd Gibbon Implementation: Christoph Schillo (Solaris, Linux) Port: Frederek Althoff (HP-UX, OSF1, DOS) Web site: http://coral.lili.uni-bielefeld.de/DATR/ Contact: gibbon@spectrum.uni-bielefeld.de ---------------------------------------------------------------------- 2. UNPACKING IN TWO SIMPLE STEPS (1) Using your browser, DOWNLOAD the four files (keeping these names): ZD12DOS.taz gzip.exe tar.exe zdsetup.bat into a directory of your choice (you might want to make a new directory called ZDATR for this purpose). Don't worry of your browser shows a mess on the screen; just save the file in the normal way. (2) Under Windows, use your directory manager to go to the directory where the downloaded files are. Double click on the `zdsetup' icon, watch the installation procedure, and follow further instructions. (Under DOS, or in a DOS window, use cd to change to the directory where the download files are, and execute the `zdsetup' batch programme file.) EXPLANATION OF AUTOMATIC UNPACKING: The batch file zdsetup will apply gzip and tar, then change directory to ZD12DOS. The original ZD12DOS.taz file, in the directory above ZD12DOS, can be deleted if everything went well. MANUAL UNPACKING: If something went wrong, make sure that you are in the same directory as the files you have downloaded. Then execute the following DOS commands by hand (they are identical to the commands in the zdsetup.bat file): gzip -d ZD12DOS.taz tar xvf ZD12DOS.tar cd ZD12DOS Then follow the instructions in Section 3 below. ---------------------------------------------------------------------- 3. FIRST STEPS WITH ZDATR ZDATR offers many options, but the following points are sufficient to get started.Consult the manual for further information. (1) The ZDATR system consists of two programmes, the tokeniser ZDATRTOK.EXE and the query or inference engine, ZDATRINF.EXE. (2) The ZDATR programmes handle four data file types; the example files are mentioned in brackets): i. (engcomp.dtr) ----> zdatrtok.exe ----> (engcomp.tok) ii. (engcomp.tok) ----> (engcomp.dec) ----> zdatrtok.inf ----> MONITOR or REDIRECTED TO FILE (engcomp.qry) ----> Note: The `tok' file is generated automatically and must NEVER be changed by hand, or dreadful things might happen! (3) Using ZDATR: - First compile the theory (this produces the file engcomp.tok) zdatrtok -i engcomp.dtr - Then query the theory with either: zdatrinf -i engcomp.tok -d engcomp.dec or: zdatrinf -i engcomp.tok -q engcomp.qry or both: zdatrinf -i engcomp.tok -d engcomp.dec -q engcomp.qry or interactively: zdatrinf -i engcomp.tok (3) If desired, create a theorem file by adding ' > engcomp.the' at the end of the command line. (4) And now read the manual for exact details. ---------------------------------------------------------------------- 4. FILE LIST 5332 Mar 28 00:22 README.1ST This file. 138359 Mar 27 23:40 ZDATRINF.EXE ZDATR interpreter. 109102 Mar 27 23:41 ZDATRTOK.EXE ZDATR tokeniser/compiler. 40719 Mar 27 23:39 csdpmi3b.zip DOS Protected Mode Interface 930 Mar 28 00:11 engcomp.dec Example file (DATR show/hide declarations) 14985 Mar 28 00:11 engcomp.dtr Example file (DATR theory) 458 Mar 28 00:11 engcomp.qry Example file (DATR query list) 29378 Mar 27 23:39 pkunzip.exe Utility for unpacking csdpmi3b.zip The ZDATR and example files are illustrated above, and explained detail in the manual. The DOS Protected Mode Interface is explained below. ---------------------------------------------------------------------- 5. CHANGES for DOS We had to change some filenames in order to suit DOS restrictions: zdatrshow.c -> show.c zdatrquery.c -> query.c zdatrvector.c -> vector.c docs/zdatr1.1.ps -> docs/zdatr1-1.ps (this will be updated asap) The tokenizer output file now defaults to the name of the input file with the (optional) suffix is replaced by '.tok' and not concatenated with it. There are problems with porting the programmes to non-POSIX operating systems like SUNOS 4.x (getopt and gettimofday are not part of the libc). We'll fix these problems as soon as we get access to a SUNOS-machine. If somebody else fixes them, please let us know. ---------------------------------------------------------------------- 6. DOS and WINDOWS operation The system was compiled with the djgpp package, a 'Wintel' version of the gcc compiler. It has been tested in a DOS window under Windows 95 on a 486 PC and under DOS and Windows 3.1 on a 386 PC. On the 386 machine, a series of co--processor errors occurred on exiting zdatrinf, but did not affect the operation of the programme or redirection to a file. WINDOWS: The EXE files zdatrtok.exe and zdatrinf.exe should run in a Windows 3.1 or Windows 95 DOS box with no further change. Windows[3.11/95/NT] already comes with a DPMI (DOS Protected Mode Interface) driver, so you don't need to worry about it. DOS: To run under DOS, a DPMI-driver (which comes withe the djgpp package and is included in the distribution) may have to be installed. IF YOU USE THIS PACKAGE, PLEASE CONSULT THE INFORMATION FILES CONTAINED IN IT FOR CORRECT ACKNOWLEDGMENTS! It may be necessary to run the program in DOS protected mode. The driver is included as a zip file in this package (csdpmi3b.zip). To install it, a) Create a directory (e.g. C:\dmpi) and cd to it, b) Extract the archive with pkunzip (e.g pkunzip -d ..\csdpmi3b.zip) c) Before you start the ZDATR programs, you have to start the DPMI service: cwsdpmi -p This will load the driver and keep it resident (-p, permanent) in memory. ---------------------------------------------------------------------- ----------------------------------------------------------------------