Control Structures
Conjunction
,
disjunction
,
fail
,
true
Cuts
If-then-else
Variable goals
repeat
Negation