SubL
From Infogalactic: the planetary knowledge core
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.
External links
<templatestyles src="Asbox/styles.css"></templatestyles>