PM: a logic modeling language for production, distribution and inventory planning

Abstract

A description is given of the PM logic modelling language. PM forms part of a knowledge-based system used to construct computable specifications of linear programming models. In addition to serving as input to the model construction process, a PM specification is used to infer problem details. A simple example that illustrates PM's representational ability is given. The choice of a logic-based language was motivated by the need for a semantically precise declarative problem specification language that supports inference.<>