Skip to main content Skip to main navigation


A Sampler of Relational/Functional Definitions

Harold Boley (Hrsg.)
Second, Revised Edition, DFKI, DFKI Technical Memos (TM), Vol. 91-04, 1991.


This is a collection of annotated RELFUN definitions showing principles and applications of relational/functional specification. It consists of concise declarative programs (often invertible) selected on the basis of didactic considerations. The knowledge they encode is mostly derived from the domain of mechanical engineering. The definitions solve problems in solid geometry, feature parsing, workpiece normalization, chemistry, etc.. All examples can be run directly in RELFUN.