Programming Languages For AI