object

`rule_expansion(Mode)`ï

Expands rules of the form p if f and g to the more manageable rule(p, [f,g]).

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

Imports:

public flatting

Extends:

public debug_expansion(Mode)

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)