Los programas en Prolog se componen de "cláusulas de Horn" que constituyen reglas del tipo "modus ponendo ponens", es decir, "Si es verdad el "antecedente", entonces es verdad el "consecuente"".