What programming language is it written in ?
There are both Common Lisp and C versions of Cyc. Most development is currently done in Common Lisp running on Symbolics Lisp machines. Lisp source code is translated into C, using a Common Lisp to C translator developed by the Cyc team, to produce source code that can be compiled by a variety of standard ANSI C compilers. Using the standard HTML-based interface tools, it is virtually impossible for a user to tell whether a given Cyc image is running in Common Lisp or C.