Dennis S. Arnon: Towards a Deductive Database for Elementary Algebra and Geometry. Workshop on Deductive Databases 1990