Today, many languages in IP are hyb

Today, many languages in IP are hybrid such as functional logic programming languages, logic programming with types and higher-order constructs, constraints, probabilities, and so on. The logic (ILP) vs. functional (IFP) debate has also been surpassed recently by the breakthrough of domain-specific languages (DSL), which are usually better suited for the application at hand, as we discuss later.

ผลลัพธ์ (ไทย) 1:

วันนี้ หลายภาษาใน IP เป็นแบบผสมผสานเช่นตรรกะทำงานเขียนโปรแกรมภาษา ตรรกะการเขียนโปรแกรม ด้วยชนิด และโครงสร้างขั้นสูง ข้อจำกัด กิจกรรม และอื่น ๆ ตรรกะ (ILP) เทียบกับการทำงาน (IFP) อภิปรายได้ยังแล้วแล้วเมื่อเร็ว ๆ นี้ โดยความก้าวหน้าเฉพาะโดเมนภาษา (DSL), ซึ่งก็มักจะเหมาะสมสำหรับแอพลิเคชันมือ เป็นเจรจาในภายหลัง

ผลลัพธ์ (ไทย) 2:

วันนี้หลายภาษา IP เป็นไฮบริดเช่นการเขียนโปรแกรมภาษาตรรกะการทำงานโปรแกรมตรรกะกับชนิดและโครงสร้างขั้นสูง จำกัด , ความน่าจะเป็นและอื่น ๆ ตรรกะ (ILP) กับการทำงาน (IFP) การอภิปรายยังได้รับการค้นพบเมื่อเร็ว ๆ นี้โดยการพัฒนาภาษาโดเมนเฉพาะ (DSL) ซึ่งมักจะดีเหมาะสำหรับการใช้งานที่อยู่ในมือในขณะที่เราจะหารือในภายหลัง

ผลลัพธ์ (ไทย) 3:

วันนี้ , หลายภาษาใน IP ลูกผสมเช่นภาษาการเขียนโปรแกรมตรรกะฟังก์ชันตรรกะการเขียนโปรแกรมเชิงโครงสร้างและชนิด , จํากัด , ความน่าจะเป็น , และดังนั้นบน ตรรกะ ( ILP ) และหน้าที่ ( โดย ) การอภิปรายยังได้รับเมื่อเร็ว ๆนี้โดยการทะลุของภาษาเฉพาะโดเมน ( DSL ) ซึ่งมักจะเหมาะกับการประยุกต์ใช้ในมือ เราค่อยคุยกันทีหลัง