Prolog
Prolog was developed by Colmerauer and his colleagues at the University of Marseilles in the 1970’s. Prolog tells the computer what to do(declarative programming) while programs written in other languages tell how to do it. Prolog does this by making deductions and derivations from facts and rules. Prolog is a language that is used for solving problems that involve objects and relationships between objects.