Control flow
First-order logic
FO
IP
Resolution
Assignment
Foreach loop
Variable
Loop counter
Mathematics
Logic
Software engineering