Prolog
Prolog is a Logic Programming Language and is considered to be one of the most well-known representatives of this field. It is closely related to artificial intelligence research and computational linguistics. It has strong connections to theorem proving, expert systems, automated planning, and natural language processing. Prolog is based on first-order predicate logic and formal logic, and it follows a declarative paradigm based on the representation of facts and rules and the perspective of relationships. Computation in Prolog is initiated by queries based on these relationships.
Prolog has deep connections with Chat UI, and it seems to have significant relevance to Civichat. In the context of Data Structures, the UNIX philosophy also touches upon this aspect. Logical constitution is described in this format, and it appears that Formal Semantics of Natural Language and Procedural are also related to Chat UI.
Related topics include Declarative Programming, Predicate Logic, and Logic Programming.