A query language used in artificial intelligence.