Of Using Constraint Logic Programming for Design of Mechanical Parts
Generate an AI Snapshot to get a quick, structured summary of this paper.
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
Experience in using constraint logic programming to reason about mechanical parts and a design rule checker is sketched to show how the logical representation of logic programming languages facilitates higher level reasoning.
Abstract
This paper describes experience in using constraint logic programming to reason about mechanical parts. A prototype program was written in the language CLP(ℜ) which verified whether a part met specific tolerances in its dimensions. The program is interesting in that the same code can be used with any mixture of symbolic and numeric values. A symbolic representation scheme, underlying the program, which allows both symbolic and numeric values, is described. Examples are given of defining generic parts and toleranced parts, and checking whether a part meets its tolerances. Finally, a design rule checker is sketched to show how the logical representation of logic programming languages facilitates higher level reasoning.