ACL2-PC::CL-PROC

(macro) same as clause-processor 
Major Section:  PROOF-CHECKER-COMMANDS

See the documentation for proof-checker command clause-processor, which is identical to cl-proc.