object
magic
¶
Object encapsulating magic methods.
Author: Ulf Nilsson. Ported to Logtalk and augmented with stratified negation by Victor Lagerkvist.
Version: 1.0
Date: 2010/6/13
Compilation flags:
static, context_switching_calls
(no dependencies on other entities)
Public interface¶
magicise/4
¶
Transform (Head :- Body) into a magic clause (NewHead :- NewBody).
Compilation flags:
static
Template:
magicise(Head,Body,NewHead,NewBody)
Mode and number of proofs:
magicise(+term,+list,-term,-list)
- zero_or_one
Protected interface¶
(none)
Private predicates¶
(none)
Operators¶
(none)
Remarks¶
(none)