| |||||||||
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