A sampler of relational/functional definitions (second, revised edition)

Abstract

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.