Arc in the call graph from Head to Goal. Both head and goal will
always be positive with Negation indicating whether or not Goal was
originally negated. ID is the arc ID used to get associated rule IDs
from ar/2.
Arguments:
Head
- Rule head.
Goal
- Absolute value of rule goal.
Negation
- 1 or 0 indicating if Goal was originally negated.