Web qidiruv tizimlari, annotatsiya tizimlari tobora rivojlanib barcha tipdagi tabiiy tillarni qamrab olmoqda. Bu tizimlarni qo’llab quvvatlovchi matematik apparat mantiqiy algebra va prolog dasturlash tili bu sohadagi o’rganish kerak bo’lgan asosiy vositalar hisoblanadi. Ushbu desertatsiya Prolog mantiqiy dasturlash tiliga bag’ishlangan.