A Prolog based manufacturing cell design system