ภาษาโปรล็อกเป็นภาษาโปรแกรมคอมพิวเตอร์ที่ใช้ตรรกะ ภาษาคอมพิวเตอร์ส่วนใหญ่ขึ้นอยู่กับขั้นตอนที่จำเป็นในการแก้ไขปัญหา ในทางตรงกันข้ามภาษา Prolog เป็นภาษา "ที่เปิดเผย" ซึ่งระบุความสัมพันธ์เชิงตรรกะระหว่างเอนทิตี วิธีการแก้ไขปัญหาจะถูกทิ้งไว้ที่คอมพิวเตอร์ ชื่อ Prolog มาจาก French PROgrammation en LOGique นั่นคือ PROgramming LOGic
ต่อไปนี้เป็นโปรแกรม Prolog ที่เรียบง่าย:
บรรพบุรุษ (F, C): - พ่อ (F, C)
บรรพบุรุษ (P, Q): - บิดา (P, R) บรรพบุรุษ (R, Q)
พ่อ (จอห์นจิม)
พ่อ (จิมเจอร์รี่)
พ่อ (jerry, jason)
พ่อ (jerry, jeff)
พ่อ (เจสันโจชัว)
โปรแกรมด้านบนแสดงถึงความจริง ถ้า F เป็นพ่อของ C ดังนั้น F เป็นบรรพบุรุษของ C ถ้า P เป็นพ่อของบางคน R ที่เป็นบรรพบุรุษของ Q ดังนั้น P คือบรรพบุรุษของถามข้อเท็จจริงจำนวนจริงจะได้รับเช่น จอห์นเป็นพ่อของจิม หากคำถามที่เป็นปัญหาถูกวางตัวว่าจอห์นเป็นบรรพบุรุษของเจฟฟ์หรือไม่เราจะได้รับคำตอบ "ใช่" ดังนี้
? - บรรพบุรุษ (john, jeff)
ใช่
หากบรรพบุรุษของโจชัวเป็นที่สนใจโปรแกรมจะแสดงบรรพบุรุษทั้งหมดดังนี้:
? - บรรพบุรุษ (A, โจชัว)
A = jason
A = jerry
A = จิม
A = จอห์น
โปรดทราบว่าในทั้งสองกรณีข้างต้นโปรแกรมไม่ได้บอกวิธีการประเมินผล ตัวอย่างเช่นมันไม่ได้บ่งชี้ว่าจะเริ่มที่คนสูงอายุและทำงานเพื่อคนที่อายุน้อยกว่าหรือในทางกลับกัน ยังแลกเปลี่ยนชิ้นส่วนดังต่อไปนี้:
บรรพบุรุษ (P, Q): - บรรพบุรุษ (R, Q), พ่อ (P, R)
มันจะไม่สร้างความแตกต่างให้กับโปรแกรมเนื่องจากส่วนเหล่านี้ทางด้านขวาจำเป็นต้องเป็นจริงเพื่อให้ด้านซ้ายเป็นจริง
ภาษาอารัมภบทจึงมุ่งเน้นไปที่ความสัมพันธ์ไม่ใช่วิธีแก้ปัญหา ในระหว่างการทำงานของโปรแกรม Prolog จะสร้างข้อความสั่งจริงจำนวนมากซึ่งเป็นการสร้างฐานความรู้ ในตัวอย่างด้านบนฐานความรู้ในลำดับที่ไม่เจาะจงจะมีบรรพบุรุษ (john, jim), บรรพบุรุษ (jim, jerry), บรรพบุรุษ (john, jerry), บรรพบุรุษ (jim, jason), บรรพบุรุษ (john, jason), และอื่น ๆ คลังความรู้นี้สามารถสร้างต่อเนื่องเมื่อโปรแกรมทำงานและสามารถค้นหาได้อย่างมีประสิทธิภาพเพื่อรับโซลูชัน การดำเนินการสามารถใช้การประมวลผลแบบขนานการประมวลผลพร้อมกันโดยคอมพิวเตอร์หลายเครื่อง
ภาษาโปรล็อกถูกใช้ในหลาย ๆ ด้าน มันเริ่มต้นในระบบที่เหมาะสำหรับภาษาธรรมชาติเช่นอังกฤษ; ภาษาธรรมชาติเป็นหนึ่งในพื้นที่ของปัญญาประดิษฐ์ ภาษาโปรล็อกยังใช้ในคณิตศาสตร์สัญลักษณ์รวมถึงพีชคณิต มันถูกใช้ในการพิสูจน์ทฤษฎีบทในระบบผู้เชี่ยวชาญและในระบบควบคุมในแอพพลิเคชั่นอื่น ๆ อีกมากมาย
