Object encapsulating magic methods.
Author: Ulf Nilsson. Ported to Logtalk and augmented with stratified negation by Victor Lagerkvist.
(no dependencies on other entities)
Transform (Head :- Body) into a magic clause (NewHead :- NewBody).
Mode and number of proofs: