Un concepto importante de programación lógica es la descomposición de programas en sus componentes lógicos y sus componentes de control.