- c_rule(?Rule:compound, ?Head:compound, ?Body:list) is det
- Convert a rule structure into its head and body, or vice-versa. Note
that if an ID has been attached, it will be paired with the head as
Head = -(RealHead, ID)
. This can be taken advantage of if the head
and ID are simply being copied, but should be used with care.
- Arguments:
-
Rule | - Rule struct. |
Head | - Rule head. |
Body | - Rule body. |