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