object

# heuristic_expansion(A)

> Expands rules of the form p <- f & g to rule(p, [f,g|Tail], Length, Tail).

author:
  `Victor Lagerkvist`
version:
  `1.0`
date:
  `2010/6/13`

compilation flags:
  `static, context_switching_calls`

implements:
  `public expanding`
extends:
  `public rule_expansion(A)`

## Public interface

(see related entities)

## Protected interface

(see related entities)

## Private predicates

(see related entities)

## Operators

### (none)

## Remarks

### (none)

## See also

### (none)