Ontify
Programming paradigm wherein relations between variables are stated in the form of constraints.
Wikidata