A CAD application using logic programming. - Juan Camacho Gonzalez (1983)