The purpose of Practical Session 4

The purpose of Practical Session 4 is to help you get familiar with the idea of recursing down lists. We first suggest some traces for you to carry out, and then some programming exercises.

First, systematically carry out a number of traces on a2b/2 to make sure you fully understand how it works. In particular:

Trace some examples, not involving variables, that succeed. For example, trace the query a2b([a,a,a,a],[b,b,b,b]) and relate the output to the discussion in the text.
Trace some simple examples that fail. Try examples involving lists of different lengths (such as a2b([a,a,a,a],[b,b,b]) ) and examples involving symbols other than a and b (such as a2b([a,c,a,a],[b,b,5,4]) ).
Trace some examples involving variables. For example, try tracing a2b([a,a,a,a],X) and a2b(X,[b,b,b,b]) .
Make sure you understand what happens when both arguments in the query are variables. For example, carry out a trace on the query a2b(X,Y) .
Carry out a series of similar traces involving member/2 . That is, carry out traces involving simple queries that succeed (such as member(a,[1,2,a,b]) ), simple queries that fail (such as member(z,[1,2,a,b]) ), and queries involving variables (such as member(X,[1,2,a,b]) ). In all cases, make sure that you understand why the recursion halts.
Having done this, try the following.

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

วัตถุประสงค์ของปฏิบัติเซสชัน 4 จะช่วยให้คุณทำความคุ้นเคยกับความคิดของ recursing ลงรายการ ครั้งแรกเราแนะนำร่องรอยบางอย่างสำหรับคุณในการดำเนินการ และจากนั้นบางอย่างเขียนโปรแกรมการออกกำลังกายครั้งแรก เป็นระบบดำเนินการจำนวนของร่องรอยบน a2b/2 ให้แน่ใจว่า คุณเข้าใจวิธีการทำงาน โดยเฉพาะอย่างยิ่ง:ติดตามตัวอย่าง ไม่เกี่ยวข้องกับตัวแปร ที่ประสบความสำเร็จ เช่น การสืบค้นกลับ a2b([a,a,a,a],[b,b,b,b]) แบบสอบถาม และผลลัพธ์ที่เกี่ยวข้องกับการสนทนาในข้อความติดตามตัวอย่างที่ล้มเหลว ลองตัวอย่างที่เกี่ยวข้องกับรายการความยาวต่างกัน (เช่น a2b([a,a,a,a],[b,b,b])) และตัวอย่างที่เกี่ยวข้องกับสัญลักษณ์อื่น ๆ กว่า และ b (เช่น a2b([a,c,a,a],[b,b,5,4]))ติดตามตัวอย่างที่เกี่ยวข้องกับตัวแปร ตัวอย่างเช่น ลองสืบค้นกลับ a2b([a,a,a,a],X) และ a2b(X,[b,b,b,b])ตรวจสอบให้แน่ใจว่า คุณเข้าใจสิ่งที่เกิดขึ้นเมื่อทั้งสองอาร์กิวเมนต์ในการสอบถาม ตัวแปร ตัวอย่างเช่น ดำเนินการสืบค้นกลับบน a2b(X,Y) แบบสอบถามดำเนินการชุดของคล้ายร่องรอยที่เกี่ยวข้องกับ สมาชิก/2 นั่นคือ ดำเนินการสืบค้นกลับที่เกี่ยวข้องกับแบบสอบถามง่าย ๆ ที่ประสบความสำเร็จ (เช่น member(a,[1,2,a,b])) การสอบถามที่ล้มเหลว (เช่น member(z,[1,2,a,b])), และแบบสอบถามเกี่ยวข้องกับตัวแปร (เช่น member(X,[1,2,a,b])) ในทุกกรณี แน่ใจว่า คุณเข้าใจว่าทำไมหยุดสอบถามซ้ำมีกระทำนี้ ลองทำดังนี้

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

วัตถุประสงค์ของเซสชันการปฏิบัติที่ 4 คือการช่วยให้คุณได้รับคุ้นเคยกับความคิดของ recursing ลงรายการ ครั้งแรกที่เราขอแนะนำร่องรอยบางอย่างสำหรับคุณที่จะดำเนินการแล้วบางส่วนการออกกำลังกายการเขียนโปรแกรม.

ครั้งแรกอย่างเป็นระบบดำเนินการจำนวนของร่องรอยบน A2B / 2 เพื่อให้แน่ใจว่าคุณเข้าใจวิธีการทำงาน โดยเฉพาะอย่างยิ่ง:

ติดตามตัวอย่างบางส่วนที่ไม่เกี่ยวข้องกับตัวแปรที่ประสบความสำเร็จ ยกตัวอย่างเช่นติดตาม A2B แบบสอบถาม ([A, A, เป็น], [B, B, B, b]) และความสัมพันธ์ออกไปอภิปรายในข้อความ.
ติดตามตัวอย่างง่ายๆที่ล้มเหลว ลองตัวอย่างที่เกี่ยวข้องกับรายการของความยาวที่แตกต่างกัน (เช่น A2B ([A, A, เป็น], [B, B, b])) และตัวอย่างที่เกี่ยวข้องกับสัญลักษณ์อื่น ๆ กว่า A และ B (เช่น A2B ([A, C, เป็น], [B, B, 5,4])).
ติดตามตัวอย่างบางส่วนที่เกี่ยวข้องกับตัวแปร ตัวอย่างเช่นลองติดตาม A2B ([เป็น, A, A], X) และ A2B (x, [B, B, B, b]).
ให้แน่ใจว่าคุณเข้าใจในสิ่งที่เกิดขึ้นเมื่อทั้งสองมีปากเสียงในแบบสอบถามเป็นตัวแปร ยกตัวอย่างเช่นการดำเนินการในการติดตาม A2B แบบสอบถาม (x, y) ก.
ดำเนินการชุดของร่องรอยคล้ายกันที่เกี่ยวข้องกับสมาชิก / 2 นั่นคือการดำเนินการที่เกี่ยวข้องกับร่องรอยคำสั่งง่ายๆที่ประสบความสำเร็จ (เช่นสมาชิก (A, [1,2, A, B])) คำสั่งง่ายๆที่ล้มเหลว (เช่นสมาชิก (Z, [1,2, A, B] )) และคำสั่งที่เกี่ยวข้องกับตัวแปร (เช่นสมาชิก (x, [1,2, A, B])) ในทุกกรณีให้แน่ใจว่าคุณเข้าใจว่าทำไมเรียกซ้ำหยุด.
มีการกระทำนี้ลองต่อไปนี้

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

วัตถุประสงค์ของเซสชันปฏิบัติ 4 จะช่วยให้คุณคุ้นเคยกับแนวคิดของ recursing ลงรายการ ก่อนอื่นเราขอแนะนำบางร่องรอยสำหรับคุณที่จะดำเนินการ และบางแบบฝึกหัดการเขียนโปรแกรมแรก รับดำเนินการจำนวนของร่องรอยบน a2b / 2 เพื่อให้แน่ใจว่าคุณเข้าใจวิธีการทํางาน โดยเฉพาะติดตามตัวอย่าง ไม่ได้เกี่ยวข้องกับความสัมพันธ์ที่ประสบความสำเร็จ ตัวอย่างเช่น ติดตามสอบถาม a2b ( [ , A , A , ] , [ B , B , B , B ] ) และความสัมพันธ์กับผลผลิตที่จะอภิปรายในข้อความติดตามตัวอย่างง่ายๆที่ล้มเหลว ลองดูตัวอย่างที่เกี่ยวข้องกับรายการของความยาวที่แตกต่างกัน ( เช่น a2b ( [ , A , A , ] , [ B , B , B ) ) และตัวอย่างที่เกี่ยวข้องกับสัญลักษณ์อื่น ๆ มากกว่า A และ B ( เช่น a2b ( [ , C , A , ] , [ B , B , 5,4 ] ) ) .ติดตามตัวอย่างบางส่วนที่เกี่ยวข้องกับตัวแปร ตัวอย่างเช่น ลองติดตาม a2b ( [ , A , A , ] , X ) และ a2b ( X , [ B , B , B , B ] )ให้แน่ใจว่าคุณเข้าใจสิ่งที่เกิดขึ้นเมื่อทั้งสองอาร์กิวเมนต์ในแบบสอบถามมีตัวแปร ตัวอย่างเช่น มีร่องรอยการ a2b ( x , y )มีชุดคล้ายๆ ร่องรอยที่เกี่ยวข้องกับสมาชิก 2 . นั่นคือ มีร่องรอยที่เกี่ยวข้องกับง่ายแบบสอบถามที่ประสบความสำเร็จ ( เช่นสมาชิก ( A , B , [ 1 2 ] ) ) ง่ายแบบสอบถามที่ล้มเหลว ( เช่นสมาชิก ( Z , [ 1 2 A , B ) ) และแบบสอบถามที่เกี่ยวข้องกับตัวแปร ( เช่นสมาชิก ( X , [ 1 , 2 , B ] ) ) ในทุกกรณี , ให้แน่ใจว่าคุณเข้าใจทำไมการเรียกซ้ำหยุด .ทำแบบนี้ พยายามต่อไป