Proc. of FGCS '94, ICOT, Tokyo, December 1994
Institute for New Generation Computer Technology (ICOT)
1-4-28 Mita, Minato-ku, Tokyo 108, Japan
{tsuda,kyokota}@icot.or.jp
Quixote is a hybrid language of deductive object-oriented database (DOOD) and constraint logic programming (CLP) based on subsumption relations. The new mechanisms of Quixote are a combination of object-orientation concepts such as object identity and property inheritance, and the concept of a module that classifies a large knowledge base. In addition, its logical inference system is extended to be able to make hypothetical reasoning and restricted abduction. Such features play important roles in applications such as legal reasoning, biological databases, and natural language understanding.
www-admin@icot.or.jp