Related Information

• The experimental MT system of the project KIT-FAST
• An implementation for AT compatible PC under Windows 3.1

• SunOS 4.1.3
• 10 MB free hard disk space
• SWI-Prolog 1.9.5 (public domain software)
  SWI-Prolog is a public domain software developed by Jan Wielemaker, University of Amsterdam (e-mail-contact: jan@swi.psy.uva.nl). It is available via ftp://swi.psy.uva.nl/pub/SWI-Prolog.
• alternatively: Quintus-Prolog 3.1.4 (commercial software)

The following files are available on ftp://ftp.cs.tu-berlin.de/pub/local/kit/software/FAST-v94/:

v94.tar.Z.aa .. MT system, part 1
v94.tar.Z.ab .. MT system, part 2
v94.tar.Z.ac .. MT system, part 3
FILES.ENG ..... structure of v94.tar in English
FILES.GER ..... structure of v94.tar in German
README.ENG .... this text
README.GER .... this text in German
License.MT .... License Agreement for Downloading/Using the MT system

Installation

In order to install the MT system on the hard disk the following commands have to be executed successively. Every command has to be entered by pressing the [RETURN] key in the Sun Operating System (SunOS) as well as in the Prolog interpreter:

1. make a directory on the locale site: mkdir ~/FAST-v94
2. connection to the FTP server: ftp ftp.cs.tu-berlin.de
3. name: anonymous
4. password: complete own e-mail address
5. change to the directory of the server containing the MT system:
   cd pub/doc/reports/tu-berlin.de/kit/FAST-v94
6. determine the local copy directory: lcd ~/FAST-v94
7. copying the files: mget *
8. question: mget FILES.ENG? y
9. question: mget FILES.GER? y
10. question: mget README.ENG? y
11. question: mget README.GER? y
12. question: mget v94.tar.Z.aa? y
13. question: mget v94.tar.Z.ab? y
14. question: mget v94.tar.Z.ac? y
15. leaving the FTP program: quit
16. change to the local directory: cd ~/FAST-v94
17. concatenate, uncompress and untar the MT system files:
    cat v94.tar.Z.* | uncompress | tar -xfv -
18. change to the MT system directory: cd ~/FAST-v94/prog/mt
19. starting Prolog: prolog or swi-prolog

Further Information

Wilhelm Weisweber
Technical University of Berlin
Department of Computer Sciences
Institute for Communication and Software Technology (IKS)
Formal Models, Logic and Programming (FLP)
Sekr.: FR 6-10
Franklinstr. 28/29
D-10587 Berlin-Charlottenburg
Federal Republic of Germany

Fon: +49-30-314-73608
Fax: +49-30-314-73622
E-mail: ww@cs.tu-berlin.de
WWW: http://www.cs.tu-berlin.de/~ww/