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:
Uses:
Remarks:
(none)

Public predicates

(see entity ancestors)

Protected predicates

(see entity ancestors)

Private predicates

(see entity ancestors)

Operators

(none)