१ Prolog एक उच्च स्तरीय प्रोग्रामिंग भाषा है
२ Prolog एक सामान्य प्रयोजन तर्क प्रोग्रामिंग कृत्रिम बुद्धि और कम्प्यूटेशनल भाषाविज्ञान के साथ जुडी भाषा है।
२ Prolog पहले के आदेश तर्क, एक औपचारिक तर्क में अपनी जड़ों की है, और कई अन्य प्रोग्रामिंग भाषाओं के विपरीत, Prolog कथात्मक है: कार्यक्रम तर्क, संबंधों के संदर्भ में व्यक्त किया जाता है तथ्यों और नियमों के रूप में प्रतिनिधित्व किया। एक अभिकलन इन संबंधों पर एक प्रश्न चल रहा द्वारा शुरू की है।
