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