Prolog
Public.icon
Prolog is a logic programming language and one of the best-known representatives of logic-based programming. It is mainly related to artificial intelligence research and computational linguistics. It is closely related to theorem proving, expert systems, automatic planning, and natural language processing. Based on first-order predicate logic and formal logic, it conforms to the declarative paradigm based on the representation of facts and rules and the perspective of relationships, and has the property that computation is started by questions based on those relationships.
It seems to have a deep relationship with Chat UI. There seems to be a significant relationship with Civichat as well. Related