A logic programming computer chemistry system