An important concept in logic programming is the separation of programs into their logic component and their control component.
Важливою концепцією у логічному програмуванні є розділення програм на їх логічний компонент і їх компонент управління.