Logic programming is an attractive paradigm that allows the programmer to concentrate on the meaning (the logic) of the problem to be solved the declarative layer. An execution model is then used as the problem solver the operational layer. In practice, for efficiency reasons, the semantics of the two layers do not always match. For instance, in Prolog, the computation of solutions is based on ...

A basic discussion of the principles of gas chromatography and a description of a combustion gas analyzer using this chemical analysis techniqlJe are presented. During the past several years the combustion gas analyzer has been used extensively in airbreathing propulsion research projects at the APL Propulsion Research Laboratory to analyze samples from supersonic combustion and fuel-air mixing...

We describe a method to automatically extract a German lexicon from Wiktionary that is compatible with the finite-state morphological grammar SMOR. The main advantage of the resulting lexicon over existing lexica for SMOR is that it is open and permissively licensed. A recall-oriented evaluation shows that a morphological analyser built with our lexicon has comparable coverage compared to exist...