I'm assuming you are using swi inte

I'm assuming you are using swi interactively and trying to enter the fact gives you an error like so:

1 ?- like(x, y).
ERROR: toplevel: Undefined procedure: like/2 (DWIM could not correct goal)

Since the fact does not exist in the database. If this is the case, try asserting the fact first:

2 ?- assert(like(x,y)).
true.

Then you can try:

3 ?- like(x, y).
true.

This time the query succeeds because the fact exists in the database.

A better approach might be to write your clauses into a file & then consult them. Swi prolog has an emacs-like editor that you can bring up by typing

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

ผมอยู่ยโสคุณใช้ swi โต้ตอบ และพยายามใส่ความเป็นจริงให้มีข้อผิดพลาดเช่นนั้น:1 ? - เช่น (x, y)ข้อผิดพลาด: toplevel: ยังไม่ได้กำหนดขั้นตอน: เหมือน/2 (DWIM สามารถแก้ไขเป้าหมาย)เนื่องจากความจริงที่มีอยู่ในฐานข้อมูล ถ้าเป็นกรณีนี้ ลองกรรมสิทธิ์จริงก่อน:2 ? -assert(like(x,y))เป็นจริงคุณสามารถลอง:3 ? - เช่น (x, y)เป็นจริงขณะนี้แบบสอบถามสำเร็จเนื่องจากความจริงที่มีอยู่ในฐานข้อมูลวิธีที่ดีกว่าอาจจะเขียนประโยคของคุณลงในแฟ้ม และปรึกษาได้ ภาษาโปรล็อก Swi มีบรรณาธิการ emacs เหมือนที่คุณสามารถนำมาขึ้น โดยการพิมพ์

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

ฉันสมมติว่าคุณกำลังใช้ SWI โต้ตอบและพยายามที่จะเข้าสู่ความเป็นจริงจะช่วยให้คุณมีข้อผิดพลาดเช่นดังนั้น: ?. 1 - เหมือน (x, y) ข้อผิดพลาด: ระดับบนสุด: ขั้นตอนที่ไม่ได้กำหนด: เช่น / 2 (DWIM อาจไม่ได้เป็นเป้าหมายที่ถูกต้อง) ตั้งแต่ ความเป็นจริงไม่ได้มีอยู่ในฐานข้อมูล หากเป็นกรณีนี้ลองเข้าไปยุ่งเกี่ยวกับความเป็นจริงครั้งแรก: 2 - ยืนยัน (เช่น (x, y)). ความจริง. จากนั้นคุณสามารถลอง: ?. 3 - ชอบ (x, y) . ความจริงในครั้งนี้ประสบความสำเร็จในการค้นหาเพราะ ความเป็นจริงที่มีอยู่ในฐานข้อมูล. วิธีการที่ดีอาจจะมีการเขียนคำสั่งของคุณลงในแฟ้มและจากนั้นพวกเขาให้คำปรึกษา Swi เปิดฉากมีบรรณาธิการ emacs เหมือนที่คุณสามารถนำมาขึ้นโดยการพิมพ์

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

ผมสมมติว่าคุณกำลังใช้ swi โต้ตอบและพยายามที่จะเข้าไปในความเป็นจริงจะช่วยให้คุณมีข้อผิดพลาดดังนี้

1 - ( X , Y )
ข้อผิดพลาด : ระดับบนสุด : ขั้นตอนเดียว : เช่น / 2 ( dwim ไม่สามารถแก้ไขเป้าหมาย )

เพราะความจริงไม่มีอยู่ในฐานข้อมูล ถ้าเป็นกรณีนี้ ลองยืนยันข้อเท็จจริงก่อน

2 - ยืนยัน ( เช่น ( x , y ) ) .
จริง

แล้วคุณสามารถลอง :

3 - ( X , Y )

จริงคราวนี้ถามขึ้นเพราะความจริงที่มีอยู่ในฐานข้อมูล

วิธีการที่ดีอาจจะเขียนข้อความของคุณลงในแฟ้ม&แล้วปรึกษาเขา โดยอเปิดฉากมี Emacs เหมือนโปรแกรมที่คุณสามารถนำขึ้นโดยการพิมพ์