CycL Guide, Meaning , Facts, Information and Description
CycL was originally a frame language used by Doug Lenat's Cyc Artificial Intelligence project.The modern version of CycL is not based on frames. It is, instead, based on first-order predicate calculus and extended to allow quantification over predicates and statements. It is therefore a Second Order Logical Language.