ECLiPSe

constraint logic programming system

分类: