โปรแกรมตาม eclipseclp.org

ระบบการเขียนโปรแกรมตรรกะข้อ จํากัด ECLiPSe ได้รับการออกแบบมาสําหรับการแก้ปัญหาการเพิ่มประสิทธิภาพรวมสําหรับการพัฒนาเทคโนโลยีตัวแก้ปัญหาข้อ จํากัด ใหม่และลูกผสมของพวกเขาและสําหรับการสอนการสร้างแบบจําลองการแก้ปัญหาและเทคนิคการค