Estas están escritas en lenguaje CycL que está basado en cálculo de predicados y tiene una sintaxis similar a Lisp.