AI project for symbolic programming