tomabd.misc.rule_head_body Class Reference

Detailed Description

Separate/build a logical rule into/from its head and body.

Usage:

• tomabd.misc.rule_head_body({a :- b & c}, H, B): H unifies with a and B unifies with b & c.
• tomabd.misc.rule_head_body(R, a, b & c): R unifies with {a :- b & c}.