Programming Languages for AI