ย่อมาจาก การเขียนโปรแกรมในตรรกะ หรือ programation et logique (ฝรั่งเศส), prolog เป็นภาษาการเขียนโปรแกรมที่พัฒนาโดย Alain Colmeraur และเพื่อนร่วมงานของเขาที่ University of Marseilles ในปี 1972 Prolog เป็นที่นิยมใช้สำหรับ AI ชุดของกฎแทนคำแนะนำ

AI, คำศัพท์ปัญญาประดิษฐ์, ตัวย่อคอมพิวเตอร์, ตรรกะของโปรแกรม, เงื่อนไขการเขียนโปรแกรม