Publikation

A Sampler of Relational/Functional Definitions

Harold Boley (Hrsg.)

Second, Revised Edition DFKI DFKI Technical Memos (TM) 91-04 1991.

Abstrakt

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.

TM-91-04.pdf (pdf, 12 MB)

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