A new language for electromagnetic knowledge specification

Knowledge specification languages are used in the design of electromagnetic and other products. But these, traditionally used to represent knowledge, do not exploit the full features of object-oriented programming and lack back-tracking. This paper provides the description of the prototype of a new knowledge specification language that we developed, to overcome these short-comings. The specific focus is on electromagnetic product design, vis-à-vis the selection of motors from user specifications. We show that a full integration of object-oriented programming and logic programming is possible.