Programming Languages for AI Applications