Howdy Logo
Glossary Hero image

The Howdy Glossary

Search terms in Glossary


CycL (Cyclified Lisp) is a programming language based on first-order logic, created for use in artificial intelligence applications by Cycorp. It serves as the primary syntax for the Cyc Knowledge Base and Inference Engine. The language allows formal articulation of knowledge, using forms of predicate calculus and higher-order logic to represent real-world entities, their attributes and relationships.