ภาษา Prolog คืออะไร?
Prolog เป็นภาษาการเขียนโปรแกรมคอมพิวเตอร์ที่ใช้ตรรกะภาษาคอมพิวเตอร์ส่วนใหญ่ขึ้นอยู่กับขั้นตอนที่จำเป็นในการแก้ปัญหาในทางกลับกันภาษาอารัมภบทเป็นภาษาที่ประกาศซึ่งบ่งบอกถึงความสัมพันธ์เชิงตรรกะระหว่างหน่วยงานวิธีการแก้ปัญหาจะถูกทิ้งไว้ในคอมพิวเตอร์ชื่อ Prolog มาจากการเขียนโปรแกรมภาษาฝรั่งเศส en logique นั่นคือตรรกะการเขียนโปรแกรม
ต่อไปนี้เป็นโปรแกรม prolog ง่าย ๆ :
บรรพบุรุษ (f, c):- พ่อ (f, c)
บรรพบุรุษ (p, q):- พ่อ (P, R), บรรพบุรุษ (r, q)
พ่อ (จอห์น, จิม). พ่อ (จิม, เจอร์รี่). พ่อ (เจอร์รี่เจสัน). พ่อ (เจอร์รี่เจฟฟ์)
พ่อ (Jason, Joshua)
โปรแกรมข้างต้นระบุถึงความจริงถ้า F เป็นพ่อของ C ดังนั้น F เป็นบรรพบุรุษของ C. ถ้า P เป็นพ่อของบางคน r ที่เป็นบรรพบุรุษของ Q ดังนั้น P เป็นบรรพบุรุษของ Q. ข้อเท็จจริงที่แท้จริงจำนวนหนึ่งได้รับเช่นจอห์นเป็นพ่อของจิมถ้าเป็นคำถามที่เกิดขึ้นว่าจอห์นเป็นบรรพบุรุษของเจฟฟ์หรือไม่เราได้รับการตอบกลับใช่ดังนี้:
a ' Jason
A ' Jerry
A ' John
โปรดทราบว่าในทั้งสองอินสแตนซ์ข้างต้นโปรแกรมไม่ได้บอกวิธีการประเมินผลตัวอย่างเช่นมันไม่ได้ระบุว่าจะเริ่มต้นที่ผู้สูงอายุและทำงานให้กับคนที่อายุน้อยกว่าหรือในทางกลับกันนอกจากนี้การแลกเปลี่ยนชิ้นส่วนด้านล่าง:
Ancestor (P, Q):- Ancestor (R, Q), พ่อ (P, R)
มันจะไม่สร้างความแตกต่างให้กับโปรแกรมเพื่อเป็นจริงเพื่อให้ด้านซ้ายเป็นจริง