Prolog
Source: Wikipedia Prolog is a logic programming language associated with artificial intelligence and computational linguistics.[1][2][3]
Prolog has its roots in first-order logic, a formal logic, and unlike many other programming languages, 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.[4]
The language was developed and implemented in Marseille, France, in 1972 by Alain Colmerauer with Philippe Roussel, based on Robert Kowalski's procedural interpretation of Horn clauses at University of Edinburgh.[5][6][7]
Prolog was one of the first logic programming languages[8] and remains the most popular such language today, with several free and commercial implementations available. The language has been used for theorem proving,[9] expert systems,[10] term rewriting,[11] type systems,[12] and automated planning,[13] as well as its original intended field of use, natural language processing.[14][15] Modern Prolog environments support the creation of graphical user interfaces, as well as administrative and networked applications.
https://github.com/ichiban/prolog
Comment: i don't know what to do with it yet.