Recall previous example, where we s

Recall previous example, where we said that Prolog unifies woman(X) with woman(mia) thereby instantiating the variable X with the atom mia.

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

ตัวอย่างก่อนหน้านี้ ที่เรากล่าวว่า ภาษาโปรล็อก unifies woman(X) กับ woman(mia) instantiating ตัวแปร X กับเมียอะตอมจึงเรียกคืน

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

จำตัวอย่างก่อนหน้านี้ที่เรากล่าวว่าเป็นหนึ่งเดียวเปิดฉาก ?? ผู้หญิง (X) ?? ด้วย ?? ผู้หญิง (MIA) ?? จึง instantiating X ตัวแปรที่มีอะตอม Mia