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`
date:
  `2010/6/13`

compilation flags:
  `static, context_switching_calls`

implements:
  `public expanding`
imports:
  `public flatting`
extends:
  `public debug_expansion(A)`

## Public interface

(see related entities)

## Protected interface

(see related entities)

## Private predicates

(see related entities)

## Operators

### (none)

## Remarks

### (none)

## See also

### (none)