Prolog

Prolog (Programming in Logic) is a declarative logic programming language, leveraging first-order logic to solve problems through facts, rules, and a built-in backtracking search mechanism.

Prolog, developed by Alain Colmerauer in 1972, is a logic-based language where programs are a knowledge base of facts and rules: you specify *what* to know, not *how* to compute it. The interpreter uses a resolution refutation system to answer queries, automatically employing unification and backtracking to find solutions. This makes it exceptionally suited for symbolic AI applications: expert systems, automated theorem proving, and natural language processing (NLP) are core use cases, providing a powerful tool for complex logical inference.

https://www.swi-prolog.org