Evaluation of the Effectiveness of Prolog for a CAD Application | IEEE Journals & Magazine | IEEE Xplore