Prolog

Prolog (Programming Logic) is a high-level programming language. It is a general-purpose language based on formal logic. Prolog focuses on defining and then solving logical formulas. It appeared in 1972.
Initated by Alain Colmerauer