Prolog dasturining faktlari va qoidalari ma'lum bir predmet sohasi ob'ektlari o'rtasidagi munosabatlar va aloqalarning tavsifi, ya'ni. hal qilinishi kerak bo'lgan ma'lum bir mantiqiy masalaning shartlarini qayd etish. Ta'riflangan munosabatlar va aloqalar statik ravishda ko'rib chiqiladi. Dasturga bunday yondashuv deklarativ deb ataladi. Qoidalardagi faktlar, qoidalar va pastki maqsadlarning tartibi dasturning deklarativ ma'nosiga ta'sir qilmaydi. Shu bilan birga, dasturni bajarish jarayonida yuzaga keladigan taqqoslashlar ketma-ketligi, o'zgaruvchilarning spetsifikatsiyasi va rezolyutsiyali xulosalar nuqtai nazaridan qarash mumkin. Ushbu yondashuv protsessual deb ataladi. Prologda dasturlashda dasturning protsessual ma'nosini hisobga olish kerak. Shunday qilib, faktni to'liq aniqlangan protsedura sifatida ko'rish mumkin, buning uchun boshqa hech narsa kerak emas.