Rule-based composition of intelligent mechatronic components in manufacturing systems using prolog | IEEE Conference Publication | IEEE Xplore