| A92-1033 | majority of the system is written in | Quintus Prolog | . with the type hierarchy being |
| C88-1006 | code that I have implemented in | Quintus Prolog | on a Sun . When the rule epenthesisl |
| E89-1012 | in 0.2 to 2 seconds CPU time in | Quintus Prolog | on a SUN 3.6 workstation . 7 |
| C92-1011 | on a SUN SPARCstation 1 running | Quintus Prolog | 3.0 . 5 Discussion Natural language |
| E91-1015 | currently under development in | Quintus Prolog | on a Sun Sparc Station . We now |
| C92-3158 | The LFS system is implemented in | Quintus Prolog | on Sun 4 workstations . Adaptations |
| E91-1009 | readings has been implemented in | Quintus Prolog | at the University of Hamburg |
| A92-1001 | between 1 and 10 seconds under | Quintus Prolog | on a Sun Sparcstation 2 . 9 A |
| H86-1012 | at SDC . PUNDIT is written in | Quintus Prolog | 1.5 . It is designed to integrate |
| C92-1044 | The program was implemented in | Quintus PROLOG | and on SUN workstation . G-UNIMEM |
| A92-1040 | manager has been implemented in | Quintus Prolog | and tested on a variety of different |
| C96-2118 | version of ViewGen is implemented in | Quintus Prolog | . The structure of this paper |
| C86-1102 | Semantic Work Bench ( implemented in | Quintus Prolog | ) is under development , in which |
| C88-2154 | disambiguation system , written in | Quintus PROLOG | , now largely serves as a rating |
| C96-1008 | Common Lisp and CMSP ) , Prolog ( | Quintus Prolog | and Sicstus Prolog ) and Tcl/Tk |
| C88-1053 | currently being implemented in | QUINTUS Prolog | on SUN-3 workstations . At the |
| C94-2127 | described here has been implemented in | Quintus Prolog | as part of the GeLD system . |
| E87-1039 | devices . An Apollo DN3000 running | Quintus Prolog | under UNIX has been selected |
| C90-3083 | English ones . It was implemented in | Quintus Prolog | on a SUN-4 system and its program |
| C92-4181 | system is being implemented in | Quintus Prolog | , with substantial progress having |
