:- [library(cdr)]. :- [clpcd_common].