Mercury
Mercury, short for Mercury Programming Language, was created by Zoltan Somogyi, Fergus Henderson, and Thomas Conway in 1995. Mercury is a strongly typed logic/functional programming language used in software development for compilers, static analysis tools, constraint solvers, and large-scale systems requiring high correctness and performance.
Prolog
Prolog, short for Programming in Logic, is a declarative programming language created by Alain Colmerauer and Robert Kowalski in 1972. It is primarily used in artificial intelligence, computational linguistics, expert systems, and symbolic reasoning.