"Integrating Prolog and CADAM to Produce an Intelligent CAD System."

Alan H. Bond, Basuki Soetarman (1990)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics