Paradigma conjunctivei este o paradigmă de programare logică care se bazează pe construirea unor reguli logice de tipul "dacă X și Y atunci Z". Aceste reguli sunt folosite pentru a descrie problemele de decizie și pentru a căuta soluții prin compararea propriilor variabile cu valorile din baza de date. În paradigma conjunctivei, programul rulează în mod combinat și caută mai multe soluții posibile pentru o problemă.