This is the KRL manual.  KRL is the Kinetic Rule Language.