Logic programming for manufacturing system specification

Programming languages enable a manufacturing system analyst to represent problems to a computer and specify the means for solution. Often the underlying data organizations and computational means of solution are not apparent. Users usually know what they want done, but not necessarily how to do it. Many computerized manufacturing systems (CMS) cannot handle unstructured decision problems since they do not utilize a systematic method for representing system elements, attributes, states, goals, and processing rules. Logic programs for CMS specification offers a powerful representation capability that facilitates structural and operational understanding. Through a procedural interpretation, a logic program can also be executed.