Evaluation of the Effectiveness of Prolog for a CAD Application. - J. C. González; M. Howard Williams; I. E. Aitchison (IEEE Computer Graphics and Applications, 1984)