/swish/pack/sCASP/prolog/scasp/common.pl
AllApplicationManualNameSummaryHelp

 rule(?Rule:compound, ?Head:compound, ?ID:int, ?Body:list) is det
Convert a rule structure with an id into its head, ID and body, or vice-versa.
Arguments:
Rule- Rule struct.
Head- Rule head.
ID- Rule ID.
Body- Rule body.