Trl.TermDataRepresentation (nuget): The overall aim of this project is to create a term rewriting system that could be useful in everyday programming, and to represent data in a way that roughly correspond to the definition of a term in formal logic. Terms should be familiar to any programmer because they are basically constants, variables, and function symbols.
Keywords: Terms|Data_Representation|Term_Rewriting|syntax-tree|term-database|term-rewriting|trl