constraint handling in prolog

catalog system choloroform number method clandestinity exogenous uncertainties ground floor area hidden antigen horizontal sintering of strip lifesharers lignite tar pitch paste paint Pseudo-Phedrine RADOP single degree of freedom system stress-timed syndesmo- the United States TLD (thermoluminescent dosimetry) trainels tunnel telephone system uncensoring