object

# `magic_expansion(A)`

Expands rules of the form p <- f & g to the more manageable rule(p, [f,g]) and performs magic transformation of clauses.

Author: Victor Lagerkvist
Version: 1:0:0
Date: 2010-06-13
Compilation flags:
`static, context_switching_calls`
Implements:
`public` expanding
Imports:
`public` flatting
Extends:
`public` debug_expansion(A)
Uses:
list
magic
Remarks:
(none)
Inherited public predicates:
goal_expansion/2 term_expansion/2

- Public predicates

- Protected predicates

- Private predicates

- Operators

## Public predicates

(no local declarations; see entity ancestors if any)

## Protected predicates

(no local declarations; see entity ancestors if any)

## Private predicates

(no local declarations; see entity ancestors if any)

## Operators

(none)