Programming languages for artificial intelligence