The CLP(R) language and system: An overviewJoxan JaffarSpiro Michaylovet al.1991COMPCON 1991Conference paper