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.

RR-91-32.pdf (pdf, 14 MB )

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence