These are formulated in the language CycL, which is based on predicate calculus and has a syntax similar to that of the Lisp programming language.
Они формулируются на языке CycL, который основан на исчислении предикатов и имеет схожий с лиспом синтаксис.