The correct answer is B. PROLOG.
PROLOG is a logic programming language that is often used for artificial intelligence applications. It is a declarative language, which means that the programmer specifies the desired results, and the language then figures out how to achieve those results. This makes it well-suited for tasks that require reasoning and problem-solving, such as those that are common in artificial intelligence.
FORTRAN, C, and COBOL are all procedural languages. This means that the programmer specifies the steps that need to be taken to achieve the desired results. This makes them well-suited for tasks that are well-defined and have a clear set of steps that need to be followed, such as those that are common in scientific computing and business applications.
However, procedural languages are not as well-suited for tasks that require reasoning and problem-solving, as they do not provide a natural way to express these types of tasks. This is why PROLOG is often used for artificial intelligence applications, as it is a declarative language that is well-suited for these types of tasks.
In addition, PROLOG is a relatively easy language to learn, which makes it a good choice for beginners who are interested in artificial intelligence.