Exercise 6.3 (3 Punkte)1. Write a p

Exercise 6.3 (3 Punkte)
1. Write a predicate second(X,List) which checks whether X is the second element of
List.
2. Write a predicate swap12(List1,List2) which checks whether List1 is identical to
List2, except that the first two elements are exchanged.
3. Write a predicate final(X,List) which checks whether X is the last element of List.
4. Write a predicate toptail(InList,Outlist) which says `no' if inlist is a list containing
fewer than 2 elements, and which deletes the first and the last elements of Inlist and
returns the result as Outlist, when Inlist is a list containing at least 2 elements. For
example:
     toptail([a],T).
    no
    toptail([a,b],T).
    T=[]
    toptail([a,b,c],T).
  T=[b]
Hint: here's where append comes in useful.
5. Write a predicate swapfl(List1,List2) which checks whether List1 is identical to
List2, except that the first and last elements are exchanged. Hint: here's where
append comes in useful again.

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

แบบฝึกหัดที่ 6.3 (3 Punkte)1. เขียน second(X,List) เพรดิเคตที่ตรวจสอบว่า X เป็นองค์ประกอบที่สองของรายการงาน2. เขียน swap12(List1,List2) เพรดิเคตที่ตรวจสอบว่า List1 เป็นเหมือนกับList2 ยกเว้นว่ามีการแลกเปลี่ยนองค์ประกอบสอง3. เขียน final(X,List) เพรดิเคตที่ตรวจสอบว่า X เป็นองค์ประกอบสุดท้ายของรายการ4. เขียน toptail(InList,Outlist) เพรดิเคตที่เขียนว่า 'ไม่' ถ้า inlist เป็นรายการที่ประกอบด้วยองค์ประกอบน้อยกว่า 2 และที่ลบเป็นครั้งแรกและองค์ประกอบสุดท้ายของ Inlist และส่งกลับค่าผลลัพธ์เป็น Outlist เมื่อ Inlist เป็นรายการที่ประกอบด้วยองค์ประกอบน้อย 2 สำหรับตัวอย่าง: toptail([a],T) ไม่ใช่ toptail([a,b],T) T =[] toptail([a,b,c],T) T = [b]คำแนะนำ: ที่นี่เป็นที่ผนวกเข้ามาเป็นประโยชน์5. เขียน swapfl(List1,List2) เพรดิเคตที่ตรวจสอบว่า List1 เป็นเหมือนกับList2 ยกเว้นว่ามีการแลกเปลี่ยนองค์ประกอบแรก และสุดท้าย คำแนะนำ: นี่คือที่ไหนผนวกเข้ามาเป็นประโยชน์อีกด้วย

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

การใช้สิทธิ 6.3 (3 Punkte)
1 เขียนสองคำกริยา (x, List) ซึ่งจะตรวจสอบว่า X เป็นองค์ประกอบที่สองของ
รายการ.
2 เขียนคำกริยา swap12 (List1, List2) ซึ่งจะตรวจสอบว่า List1 เป็นเหมือน
List2 ยกเว้นว่าองค์ประกอบที่สองครั้งแรกที่จะมีการแลกเปลี่ยน.
3 เขียนคำกริยาสุดท้าย (x, List) ซึ่งจะตรวจสอบว่า X เป็นองค์ประกอบสุดท้ายของรายการ.
4 เขียนคำกริยา toptail (InList, Outlist) ซึ่งบอกว่า `ไม่มี 'ถ้า inlist เป็นรายการที่มี
น้อยกว่า 2 องค์ประกอบและที่ลบครั้งแรกและองค์ประกอบสุดท้ายของ Inlist และ
ผลตอบแทนเป็น Outlist เมื่อ Inlist คือรายการที่มีอย่าง อย่างน้อย 2 องค์ประกอบ สำหรับ
ตัวอย่างเช่น:
     . toptail ([A], T)
    ไม่มี
    . toptail ([a, b], T)
    T = []
    . toptail ([a, b, c] t)
  t = [b]
คำแนะนำ: นี่คือสิ่งที่ ผนวกมาในที่มีประโยชน์.
5 เขียนคำกริยา swapfl (List1, List2) ซึ่งจะตรวจสอบว่า List1 เป็นเหมือน
List2 ยกเว้นว่าองค์ประกอบแรกและครั้งสุดท้ายจะมีการแลกเปลี่ยน คำแนะนำ: นี่คือสิ่งที่
ผนวกเข้ามามีประโยชน์อีกครั้ง