Skip to content

Instantly share code, notes, and snippets.



View GitHub Profile
contrast-zone /
Last active Dec 29, 2020
Computational system implementing expression logic
// under construction //

expression logic


Languages can be seen as streams of symbols used to carry on, process, and exchange informations. Expression logic is also a language, but it is a general kind of metalanguage capable of describing and hosting any other language. Expression logic is also able to perform any intermediate data processing that hosted languages are supposed to perform. Being a general kind of metalanguage, expression logic represents all of the following:

  • Expression recognizer and generator
  • SMT solver