clp(x)に基づき実数領域の制約を扱う"clp(r)"、有限領域を扱う"clp(fd)"などの各種言語が開発された。