This notion is captured by the slogan Algorithm = Logic + Control where "Logic" represents a logic program and "Control" represents different theorem-proving strategies.
Овај појам је заробљен од стране слогана Алгоритам = Логика + Контрола где "Логика" представља логички програм и "контрола" представља различите стратегије теорема-доказивања.