Mercury

Mercury 13.05.1

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