Chương trình theo eclipseclp.org

Hệ thống lập trình logic hạn chế ECLiPSe được thiết kế để giải quyết các vấn đề tối ưu hóa tổ hợp, để phát triển công nghệ giải quyết hạn chế mới và các giống lai của chúng, và để giảng dạy các kỹ thuật mô hình hóa, giải quyế