A programming language designed to be used by artificial intelligence.