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