@TechReport{Erbach:1994_3,
      AUTHOR = {Erbach, Gregor},
      TITLE = {ProFit - Prolog with Features, Inheritance, and Templates},
      YEAR = {1994},
      MONTH = {July},
      NUMBER = {42},
      ADDRESS = {Saarbrücken},
      TYPE = {CLAUS-Report},
      INSTITUTION = {Universität des Saarlandes},
      URL = {ftp://ftp.coli.uni-sb.de/pub/claus/claus42.ps ftp://ftp.coli.uni-sb.de/pub/claus/claus42.dvi https://www.coli.uni-saarland.de/~erbach/pub/claus42.pdf},
      ABSTRACT = {ProFIT is an extension of Standard Prolog with Features, Inheritance and Templates. ProFIT allows the programmer or grammar developer to declare an inheritance hierarchy, features and templates. Typed feature terms can be used in ProFIT programs together with Prolog terms to provide a clearer description language for linguistic structures. ProFIT compiles all typed feature terms into a Prolog term representation, so that the built-in Prolog term unification can be used for the unification of typed feature structures, and no special unification algorithm is needed. ProFIT programs are compiled into Prolog programs, so that no meta-interpreter is needed for their execution. ProFIT thus provides a direct step from grammars developed with typed feature terms to Prolog programs usable for applications.},
      ANNOTE = {COLIURL : Erbach:1994:PPF.pdf Erbach:1994:PPF.ps Erbach:1994:PPF.dvi}
}