@InProceedings{Backofen:90,
  author = 	"Rolf Backofen and Lutz Euler and G{\"u}nther G{\"o}rz",
  title = 	"Towards the Integration of Functions, Relations 
                 and Types in an {AI} Programming Language",
  booktitle = 	"Proc. of the 14$^{th}$ German Workshop on Artificial
		 Intelligence",
  series =     "Informatik Fachberichte",
  PUBLISHER =  "Springer",
  address =    "Berlin",
  volume =     251,
  year = 	"1990",
  editor = 	"Heinz Marburger",
  pages = 	"297--306"
, abstract = {This paper describes the design and implementation of the programming
language PC-Life. This language integrates the functional and the
logic-oriented programming style and feature types supporting
inheritance.  This combination yields a language particularly suited to
knowledge representation, especially for application in computational
linguistics. <P>
<B>Keywords:</B>
Knowledge representation, AI software, inferences,
natural language processing
   }
}