SubL is a programming language based on Common Lisp, which can be easily compiled into the C programming language. Modern implementations of SubL are compiled to Java, providing substantial portability and speed advantages over previous runtimes.
It is the low-level, efficient language that is used to implement the Cyc inference engine, and knowledge base lookup and matching algorithms.
References
SubL Wikipedia(Text) CC BY-SA