The DENDRAL Project: A Short Summary