(10) Extended Features of a Deductive Object-Oriented Database Language QUIXOTE for Practical Use

This study aims to improve Quixote, a deductive object-oriented database language and a knowledge representation language developed at ICOT. For that purpose, we will review the language specifications of big-Quixote and micro-Quixote, and their implementations, which are currently available as IFS, and re-design a language specification for a new implementation. Then, we will experiment to describe several applications in the improved version.