CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

ICOT: Knowledge Representation, Knowledge Base and Constraint Logic Programming Software

areas/icot/kbms_clp/
This directory contains knowledge representation and constraint logic programming software from ICOT.
Origin:   

   ftp.icot.or.jp:/ifs/  [192.26.9.33]

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: CAL, CLP, CUP, DP, Dynamic Programming, ICOT, Japan, Knowledge Bases, Knowledge Representation, Quixote, Relational Database, Robotics, Voronoi Contains: voronoi [20] Voronoi Diagram Construction Program gdcc [18] Parallel Constraint Logic Programming System p_chal [17] Hierarchical Constraint Parallel Solver robot [16] Robot Design Support System kappa_p [13] Parallel Nested Relational Database Management System quixote [11] Knowledge Representation Language pimos/ Software on PIMOS. knov [21] Knowledge Verification System cal_esp [19] Constraint Logic Programming Language CAL chal [15] Hierarchical Constraint Logic Programming Language kappa2 [12] Nested Relational Database Management System simpos/ Software on SIMPOS. cal_cesp [14] Constraint Logic Programming Language CAL cesp/ Software on Common-ESP. m-qxt [80] Knowledge Representation language: micro-Quixote dp [10] Dynamic Programming System cuprolog [09] Constraint Logic Programming Language: cu-Prolog unix/ Software on UNIX. References: ?
Last Web update on Mon Feb 13 10:23:41 1995
AI.Repository@cs.cmu.edu