contrast-zone

## exp-log.md

      
        
          
            
              
              1 file
            
          
          
            
              
              0 forks
            
          
          
            
              
              0 comments
            
          
          
            
              
              1 star
            
          
        
        
          
              
          
          
            
                contrast-zone
                / exp-log.md
            
            
              Last active
              December 29, 2020 23:51
            
              
                Computational system implementing expression logic
              
          
        
      
        
  
      
    // under construction //

expression logic

[Abstract]
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