Programming languages for AI