New Programming Languages for Artificial Intelligence Research