object

`heuristic_expansion(Mode)`

Expands rules of the form p if f and g to rule(p, [f,g|Tail], Length, Tail).

Availability:

logtalk_load(verdi_neruda(loader))

Author: Victor Lagerkvist
Version: 1:0:2
Date: 2022-10-08

Compilation flags:

static, context_switching_calls

Implements:

public expanding

Extends:

public rule_expansion(Mode)

Uses:

list

Remarks:

(none)

Inherited public predicates:

goal_expansion/2 term_expansion/2

Public predicates 

(no local declarations; see entity ancestors if any)

(no local declarations; see entity ancestors if any)

(no local declarations; see entity ancestors if any)

(none)