Experimental constraint logic programming language