Therefore, the function app(C, SRS)

Therefore, the function app(C, SRS) returns all constraints from C that are applicable in conjunction with SRS.
Consequently, recommended items need only to satisfy the consequent parts of applicable constraints.
We denote the consequent part of constraint c by cons(c).

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

ดังนั้น app ฟังก์ชัน (C, SRS) ส่งกลับข้อจำกัดทั้งหมดจาก C ที่ใช้ร่วมกับ SRSดังนั้น แนะนำสินค้าจำเป็นเฉพาะเพื่อตอบสนองส่วนผลลัพธ์ของข้อจำกัดที่เกี่ยวข้อง เราสามารถแสดงส่วนตามมาของซีจำกัด โดย cons(c)

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

ดังนั้นการตรวจสอบฟังก์ชั่น (C, SRS) ผลตอบแทนข้อ จำกัด จาก C ที่มีผลบังคับใช้ในร่วมกับ SRS.
ดังนั้นแนะนำรายการที่ต้องการเพียงเพื่อตอบสนองความส่วนผลเนื่องมาจากข้อ จำกัด ที่ใช้บังคับ.
เราแสดงว่าส่วนหนึ่งเป็นผลเนื่องมาจากข้อ จำกัด คโดยข้อเสีย (ค )

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

ดังนั้น , app ที่ฟังก์ชัน ( C , SRS ) จะหมดปัญหา C ที่ใช้ร่วมกับ SRS .
จากนั้น รายการแนะนำเพียงต้องการที่จะตอบสนองส่วนที่เป็นผลลัพธ์ของการใช้ข้อจำกัด
เราแทน ส่วนผลต่อ C โดยข้อเสีย ( C )