PROLOG mantiqiy dasturlash tili turli fan sohalarida bilimlarni ifodalash va foydalanish uchun mo'ljallangan. Tilning matematik asosi birinchi tartibli predikatlar hisobi (PPC) bo'lsa, predmet sohasi ob'ektlari, ularning xususiyatlari va munosabatlari Horn bo'laklari deb ataladigan maxsus turdagi formulalarni to'g'ri qurish bilan ifodalanadi. Prologdagi formulalar maxsus nomlarga ega bo'lgan Har xil turlari Prologda.