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)