CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

IFS: ICOT Free Software

areas/icot/

   apps/      ICOT: Applications programs of parallel logic 
              programming
   kbms_clp/  ICOT: Knowledge Representation, Knowledge Base 
              and Constraint Logic Programming Software
   manuals/   ICOT: Manuals and textbooks on the languages and 
              OS
   newsltr/   ICOT: IFS Newsletter
   nlp/       ICOT: Natural Language Analysis and Generation
   reasonng/  ICOT: Systems for problem solvers and theorem 
              provers
   symbolic/  ICOT: Symbolic Processing Software

Origin:   

   ftp.icot.or.jp:/ifs/  [192.26.9.33]
This directory contains free AI-related software from Japan's Institute for New Generation Computer Technology (ICOT). The collection includes a variety of prolog-based programs in symbol processing, knowledge representation, reasoning and problem solving, natural language processing. General information on the software can be obtained in the files archived in info.tgz. This includes documents on copyright and conditions for use, Japanese Kanji code, KLIC (KL1 language processor on UNIX), and Common-ESP (ESP language processor on UNIX). Programs are written in KL1 (Parallel logic programming language on Parallel Inference Machine), C, Prolog, ESP (Sequential Logic programming language on PSI), Common-ESP (ESP on UNIX machine). Note that most of the programs are written for the PSI machines, and very few have been ported to Unix-based emulators. See the index.txt file for an index to the contents of this directory.
Copying: Copyright (c) 1991-93 ICOT. Use, copying, modification, and distribution permitted. See the copyright files in each package for details. CD-ROM: Prime Time Freeware for AI, Issue 1-1 Contact: ICOT Free Software desk Institute for New Generation Computer Technology 21th Floor, Mita Kokusai Bldg. 4-28, Mita 1-chome, Minato-ku, Tokyo 108 Japan Fax: +81-3-3456-1618 Keywords: AI Software Packages, FGCS, Fifth Generation Computer Systems, ICOT Free Software, IFS, Japan, Software Packages
Last Web update on Mon Feb 13 10:23:48 1995
AI.Repository@cs.cmu.edu