23 October, 1992
[ICOT Free Software and Machines]
In ICOT Free Software, the programs are split into the following
four categories with respect to the programming language in which they
are written. Different kinds of machines, or operating systems are
required for each category. This information is repeated in README,
which can be found at the top level of the FTP-server.
(1) Programs written in KL1
Programs in the directory named "XXX/pimos" and pimos in the directory named "symbolic-proc/pim-psi" are written in KL1. Currently, to execute these programs, a parallel inference machine PIM or Multi-PSI, the KL1 language processor that runs on, and the operating system for the parallel inference machine PIMOS are required to execute these programs.
By using PDSS (PIMOS Development Support System), that is the system to execute KL1 on BSD UNIX, KL1 programs can be executed except those that require functions in PIMOS or large programs.
If you have PSI-III, you can emulate KL1 processing on PIM by installing Pseudo PIM/m (pdspim). This is equivalent to the PIMOS/KL1 environment in terms of functions, but large programs cannot be executed on Pseudo PIM/m.
(2) Programs written in ESP
Programs in the directory named "XXX/simpos" are written in ESP. To execute them, the sequential inference machine PSI and its operating system SIMPOS are required.
By using the Common ESP language processor on a UNIX machine, ESP programs can be executed on a UNIX machine. In Common ESP, compatibility with the ESP system is preserved except for I/O and the specification of a few predicates. Not only the programs written in CESP, but those written in ESP as well are executable on the CESP system with slight modification. Notes on porting from ESP to Common ESP are contained in INFO.tar.Z in the directory "ifs".
(3) Programs written in Common ESP
Programs in the directory named "XXX/cesp" are written in Common ESP, and these programs can be executed on a UNIX machine with the Common ESP language processor. The Common ESP language processor is distributed free of charge for academic use from AI Language Research Institute (AIR), Ltd. as shown below.
(4) Programs written in other languages
Programs in the directory named "XXX/UNIX" are written in the language C, or Prolog, and these programs can be executed on UNIX.
[How to Get IFS Programs through FTP]
The following is the standard way to get programs from the FTP-
server at ICOT.
1) ftp ftp.icot.or.jp Connect to ICOT FTP-server machine using FTP command. 2) Name: anonymous Password: Login with the user name "anonymous", and input your mail address as the password. 3) FTP> cd ifs Change to the directory "ifs". 4) FTP> get README Get the README file first. This file contains overall information on the ICOT Free Software. 5) Find the desired files by referring to the directory structure shown in the README file. 6) FTP> binary Set the transfer mode of FTP to image (binary). 7) FTP> get XXXXX.tar.Z Get an archive file, where XXX.tar.Z is the name of the file.
Revisions of the following programs have been released. ・ [4] OS for Parallel Inference Machine: PIMOS 18 September Object code and source code have ben separated. ・ [5] A Concurrent Object-Oriented Language:A'UM-90 29 September Revised to aum-1.2c (Bug fix).aum-pat-1.2b is a patch for this program. ・ [9] CLP Language:cu-Prolog 7 October Bug fixed. ・[14] Constraint Logic Programming Language:CAL (CESP version) 14 August Revision of Boolean and Simplex constraint solvers. ・[18] Parallel Constraint Logic Programming System:GDCC 13 August Addition of the operation manual. ・[19] Constraint Logic Programming Language:CAL (ESP version) 14 August Revision of Boolean and Simplex constraint solvers.
[On User's Group]
Since 7th August, the date at which ICOT Free Software was first
released, there have been about 580 transmission from domestic, and
more than 2000 transmission from abroad.
Anyone interested in organizing the user's group to research a particular software program for purposes of revision or improvement, please contact the IFS-desk via e-mail to the address at the end of this newsletter.
Your offer will be informed by the next volume of the newsletter and reactions to your offer will also be forwarded to you.
If you desire, we will store your revised program on the FTP server at ICOT.
[News on the mirror site]
Due to the goodwill of SICS (Swedish Institute of Computer Science) in
Sweden, all ICOT free software is available from the FTP server
machine at SICS. It has the same directory organization as that at
ICOT, and the method to get programs is also the same as that at ICOT
except that the name of the server machine differs. If SICS is more
convenient for you than ICOT, you can also use the FTP server machine
at SICS.
The FTP server machine address at SICS is
[Contents of the Third Release of ICOT Free Software]
The following is a list of the eight latest ICOT Free Software
Programs (up to 12th October). In total, 64 ICOT Free Software
programs have been released. The number attached to the name of each
software is the same as that in the list of ICOT Free Software. The
size of each tar-file is also given.
Symbol Processing: 2 ---------------------------------------------------------------------- 2 Parallel and Distributed KL1 Language Processor: VPIM 1.8MB 3 Pseudo Parallel System for KL1 on Sequential Inference Machine PSI-III 1.1MB Knowledge Representation, Knowledge-base, Constraint: 2 ---------------------------------------------------------------------- 11 Knowledge Representation Language: Quixote (Tentative version) 1MB 13 Parallel Database Management System: Kappa-P (Tentative version) 1.6MB Experimental Application: 4 ---------------------------------------------------------------------- 60 Group Problem Solving System for Task Allocation Problem 293KB 63 Combined Constraint Solver: Consort 375KB 64 Design Support System based on Qualitative Reasoning: Desq 794KB 71 A Diagnostic and Control Expert System based on a Plant Model 421KB
[Address of AIR]
The address of AI Language Research Institute (AIR) is as follows.
To contact AIR on Common ESP, please use the following address.
Research Management Department AI Language Research Institute, Ltd. c/o Computer & Information Systems Laboratory Mitsubishi Electric Corporation 1-1, Ofuna 5-chome, Kamakura Kanagawa 247 Japan e-mail: cesp-request@air.co.jp FAX: +81-467-48-4847
[Contacts]
For information on ICOT Free Software, please contact
by e-mail. If you receive the paper edition of this newsletter, please let us know your e-mail address and we will send you the electronic edition. If you cannot use the e-mail facility, please contact the address below.
A list of ICOT Free Software was published in "ICOT Free Software Catalogue" which was distributed at the International Conference on Fifth Generation Computer Systems 1992, held at the beginning of June, 1992. If you do not have a copy of this list, please supply the IFS desk with your physical mail address and a copy will be mailed to you.
If there are persons in your neighborhood who are interested in ICOT Free Software, please let us know their names and both their e-mail and physical mail addresses so that we can send them newsletters and the catalogue.
ICOT Free Software desk Institute for New Generation Computer Technology 21st Floor, Mita Kokusai Bldg. 4-28, Mita 1-chome Minato-ku, Tokyo 108 Japan FAX: +81-3-3456-1618
[Released ICOT Free Software]
The following is the list of the 64 ICOT Free Software programs
which have been released up to 12th October including those listed
above. The date of the first release, and the date of the latest
revision are also attached. Third releases of programs are indicated
by asterixes ("*").
Symbol Processing: 8 ---------------------------------------------------------------------- 1 KL1 Programming Environment on UNIX: PDSS 7 Sept. 2.6MB * 2 Parallel and Distributed KL1 Language Processor: VPIM 12 Oct. 1.8MB * 3 Pseudo Parallel System for KL1 on Sequential Inference Machine PSI-III 12 Oct. 1.1MB 4 OS for Parallel Inference Machines: PIMOS 7 Aug. (Latest revision: 18 Sept.) Source Program 2.6MB Object Program 2.2MB 5 A Concurrent Object-oriented Language: A'Um-90 7 Sept. (Latest revision: 29 Sept.) 1.1MB 6 Experimental Reflective Programming System: ExReps 7 Aug. 132KB 7 Programming Environment for KL1 with Program Visualization 7 Aug. 255KB 8 Strategy Management Shell 7 Aug. 430KB Knowledge Representation, Knowledge-base, Constraint: 12 ---------------------------------------------------------------------- 9 CLP Language: cu-Prolog 7 Aug. (Latest revision: 7 Oct.) 252KB 10 Dynamical Programming: DP 7 Aug. 454KB * 11 Knowledge Representation Language: Quixote (Tentative version) 12 Oct. 1MB 12 Nested Relational Database Management System: Kappa-II 7 Sept. The system 5.7MB Data-1 5.3MB Data-2 4.8MB Data-3 10MB * 13 Parallel Database Management System: Kappa-P (Tentative version) 12 Oct. 1.6MB 14 Constraint Logic Programming Language: CAL (CESP version) 7 Aug. (Latest revision: 14 Aug.) 269KB 15 Hierarchical Constraint Logic Programming Language: CHAL 7 Aug. 76KB 16 Robot Design Support System 7 Aug. 40KB 17 Hierarchical Constraint Parallel Solver: P-CHAL 7 Aug. 24KB 18 Parallel Constraint Logic Programming Language: GDCC 7 Aug. (Latest revision: 13 Aug.) 622KB 19 Constraint Logic Programming Language: CAL (ESP version) 7 Aug. (Latest revision: 14 Aug.) 722KB 20 Voronoi Diagram Construction Program 7 Aug. 96KB 21 Knowledge Verification System: KNOV 7 Aug. 244KB Problem Solving, Meta-reasoning, Theorem Proving: 7 ---------------------------------------------------------------------- 22 Parallel Model Generation Theorem Prover: MGTP 7 Sept. 44KB 23 Program Generation System: PAPYRUS 7 Aug. 3.8MB 25 Forward Chaining Inference System: KORE/IE 7 Sept. 79KB 28 Reasoning System: EUODHILOS 7 Aug. 273KB 29 Fuzzy Clustering Tool 7 Aug. 406KB 30 Parallel Problem Solving System 7 Aug. 72KB 32 A Structure-Mapping Engine: SME 7 Aug. 180KB Natural Language Processing: 19 ---------------------------------------------------------------------- 33 Morphological Dictionary for Japanese 7 Aug. 1.5MB 34 Localized Unification Grammar Rules: LUG 7 Aug. The System 832KB Japanese Analysis Environment 1.5MB Manual 873KB 35 Dependency Grammar for Japanese: RDG 7 Aug. 113KB 36 A Sentence Retrieval Tool: KWIC (CESP version) 7 Sept. 1.1MB 37 Morphological Analyzing Program 7 Aug. 402KB 38 Grammar Writing Support System: Linguist 7 Aug. 557KB 39 Parallel Parsing System: PAX 7 Aug. 75KB 40 Linguistic Knowledge Description Language 7 Sept. 1.5MB 41 The Syntax Analyzer 7 Sept. 167KB 42 Experimental System for Argument Text Generation: Dulcinea 7 Sept. 873KB 43 Japanese Sentence Generator 7 Aug. 390KB 44 A Sentence Dividing Tool 7 Aug. 80KB 45 Summarizing Support System 7 Aug. 196KB 46 A Support System for Generating Controlled Japanese Text: ICOTEXT 7 Aug. 522KB 47 A Sentence Retrieval Tool: KWIC (ESP version) 7 Aug. 1.9MB 48 Experimental Dialogue System 7 Aug. 550KB 49 Text Structure Analysis System 7 Sept. 316KB 50 An Experimental Discourse Analyzer 7 Aug. 345KB 51 A Parallel Processing Based Natural Language Analysis Tool: Laputa 7 Aug. 537KB Experimental Application: 18 ---------------------------------------------------------------------- 52 Go Playing Game System "GOG" The Sequential Version 7 Sept. 628KB 53 Go Playing Game System "GOG" The Parallel Version 7 Sept. 834KB 54 A Parallel Legal Reasoning System: HELIC-II 7 Aug. 775KB 55 Multiple Sequence Alignment by 3-dim DP 7 Aug. 93KB 56 Multiple Sequence Alignment by Parallel Simulated Annealing 7 Aug. 98KB 57 Standard Cell Placement Experimental System 7 Aug. 262KB 58 LSI Routing Program 7 Sept. 89KB 59 Parallel Logic Simulator 7 Aug. 2.1MB * 60 Group Problem Solving System for Task Allocation Problem 12 Oct. 293KB 61 A Concurrent Program Development System: MENDELS ZONE 7 Aug. 1.0MB 62 KL1 Execution Data Collecting Tool: Performance Monitor 7 Aug. 377KB * 63 Combined Constraint Solver: Consort 12 Oct. 375KB * 64 Design Support System based on Qualitative Reasoning: Desq 12 Oct. 794KB 65 Experimental Parallel Hierarchical Recursive Layout System: Co-HLEX 7 Aug. 397KB 68 Experimental Sequence Analysis System 7 Aug. 169KB 69 Case-Based Circuit Design Support System 7 Aug. 1.0MB 70 High Level Synthesis System: RODIN 7 Aug. 903KB * 71 A Diagnostic and Control Expert System based on a Plant Model 12 Oct. 421KB