(viii) प्रोलॉग (PROLOG): यह अंग्रेजी शब्द प्रोग्रामिंग इन लॉजिक का संक्षिप्त रूप है। इस भाषा का विकास 1973 ई० में फ्रांस में किया गया था। इसका विकास कृत्रिम बुद्धि के कार्यों के लिए किया गया है, जो तार्किक प्रोग्रामिंग में सक्षम है।