Decision theory
Pattern matching
Rete algorithm
Diagrams
Architecture description language
Prolog
Tuple space
Tuple
Web Ontology Language
Unified Modeling Language
Linda