term-database
There are 1 repositories under term-database topic.
WCoetser/Trl.TermDataRepresentation
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.