Skip to main content Skip to main navigation


Towards the Integration of Functions, Relations and Types in an AI Programming Language

Rolf Backofen; Lutz Euler; Günther Görz
DFKI, DFKI Research Reports (RR), Vol. 91-32, 1991.


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 knowlege representation, especially for application in computational linguistics.