| E97-1058 | calculus implemented by the author in | SICStus Prolog | . The use of Prolog rather than |
| A97-2015 | The system has been written in | Sicstus Prolog | . • The system covers nominal |
| J00-1006 | were implemented by the author in | SICStus Prolog | using a finite-state library |
| E03-1039 | compiler based on this formalism in | SICStus Prolog | . The input to the compiler is |
| E03-3004 | depth-first parser , implemented in | Sicstus Prolog | , is used in FRET for logical |
| A97-2014 | Categorial Grammar ( CCG ) written in | SICStus Prolog | . Instead of attempting to handle |
| E03-2010 | Toolkit ( Nuance , 2002 ) and | SICStus Prolog | ( Programming Systems Group , |
| J00-4003 | . The system is implemented in | Sicstus Prolog | . Input . The texts in the Penn |
| J00-1006 | were implemented by the author in | SICStus Prolog | . Details of the implementation |
| C92-1012 | prototype is implemented on top of | Sicstus Prolog | , and is used primarily for selection |
| C96-2196 | . The method is implemented in | Sicstus Prolog | and is applied to a dialogue |
| J02-4005 | for efficient access from the | SICStus Prolog | association lists package . As |
| E95-1025 | been implemented in Quintus and | Sicstus Prolog | , and should run with any Prolog |
| C90-3044 | dependency tree . It is implemented in | Sicstus Prolog | . 2 Need to Combine Fragme nt |
| C94-2169 | Both programs are implemented in | SICStus Prolog | 2.1 on a SPARC station-10 . Fig. |
| A00-1001 | is mainly written in Prolog ( | Sicstus Prolog | 3.7 ) , with some Perl programs |
| C00-1080 | Rules ( CHR ) package included in | SICStus Prolog | ( Friihwirth , 1998 ) . These |
| C96-1008 | , Prolog ( Quintus Prolog and | Sicstus Prolog | ) and Tcl/Tk . These software |
| C00-1080 | Since CHP , are integrated in | SICStus Prolog | , I will present constraints |
| H94-1040 | seconds per hypothesis , running | SICStus Prolog | on a Sun SPARCstation 10/412 |
