ECLiPSe

constraint logic programming system

Kategori: