Big-Quixote is an implementation intended to implement the full specification of the language Quixote . It has been upgraded along with the research of Quixote itself, and current version is called ``Ver.4.'' Big-Quixote is implemented in the form of client-server system. Big-Quixote server was developed mainly by the parallel logic programming language KL1 which was also developed at ICOT . As a result, the server was originally operating only on the parallel inference machine PIM . Thanks to the KLIC system (KL1 to C translator) developed by FGCS's Follow-on project in 1993 and 1994, it has come to operate on all UNIX machines. For big-Quixote client, there are Emacs-based User Interface and GUI of X Window System. Recently, well known Mosaic Interface has introduced.
Quixote is a language with diverse functions. This results in a somewhat large system in which big-Quixote is incorporated, and there is a likelihood of limited environment for comfortable operation due to memory under constraint. In line with the work on big-Quixote , the year of 1993 began with a challenge to the development of micro-Quixote to work smoothly as a processing system in as many environments as possible with an emphasis placed on the major functions of Quixote language. Micro-Quixote was implemented from the scratch in C language and is currently operating on UNIX, Mac, and MS-DOS machines. Micro-Quixote has no database features and may be thought of a system with a strong aptitude to a (constraint) logic programming language. Micro-Quixote incorporates Quixote function implemented in object term, subsumption relation, property inheritance, conditional query, and solution with assumption. Because of simplified implementation, solution is sometime different from some of big-Quixote . It also has some unique features such as external processing system call unavailable in big-Quixote .
Distinction between both systems is summarized in the following table.
big-Quixote micro-Quixote OS/machine Environment UNIX (KLIC), PIMOS UNIX, MS-DOS, Macintosh Development Language KL1, C C EmacsLisp, etc. Code Size 6Mbyte 199Kbyte Method for Derivation OLDT resolution Prolog-like Subsumption Constraint ○ ○ Property Inheritance ○ ○ Answer with Hypothesis & ○ ○ Conditional Query Module ○ × Set, Inequality Constraint ○ × NAF (Negation as Failure) ○ × Solution Composition ○ × Database Functionality ○ × External Problem Solver Call Arithmetic module External Constraint Call