Mercury 13.05.1 ภาษาโปรแกรมลอจิกได้รับรอบนานกว่ายี่สิบปี แม้จะมีข้อได้เปรียบที่คาดหวังของการเขียนโปรแกรมภาษาระดับสูงมากขึ้นอยู่กับทฤษฎีการพัฒนาที่ดีของตรรกะมากกว่าการเขียนโปรแกรมภาษาธรรมดา (เช่น C, C ++, Pascal และ Ada)... 15 Apr 15 ใน เครื่องมือสำหรับนักพัฒนา, ล่ามและคอมไพเลอร์ Linux อ่านข้อมูลเพิ่มเติม
