Prolog

Prolog has its roots in first-order logic, a formal logic, and unlike many other programming languages.

How it works

Prolog is intended primarily as a declarative programming language: the program logic is expressed in terms of relations, represented as facts and rules. A computation is initiated by running a query over these relations.

References

1. Prolog. (2023, April 5). In Wikipedia. Link