SubL

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.

...
Wikipedia