CMU Artificial Intelligence Repository
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