ECLiPSe

constraint logic programming system

Categories: