uccess). or seq(arst 2, success). ... orstq(arg iv , success)). EFTA00624206 60 21 Representing Procedural Knowledge which contains 19 symbols. Transforniing this to f(x) w(+(x p q) r) list (f (a) f(b) f(el) reduces the total number of symbols to 15. One can generalize this notion to consider com- pres