rule-head rule-bodies