Logic-based factory design

A methodology for knowledge-based factory desigh is presented, with emphasis on a logic-oriented implementation in PROLOG, a logic programming language. The implementation, FADES ( FAcilities Design Expert System ) provides a partial demonstration of the methodology proposed. Current status of research, difficulties encountered, and future direction are examined and discussed.