Programming Languages For Artificial Intelligence