object

magic_expansion(A)

Expands rules of the form p <- f & g to the more manageable rule(p, [f,g]) and performs magic transformation of clauses.

Author: Victor Lagerkvist
Version: 1:0:0
Date: 2010-06-13
Compilation flags:
static, context_switching_calls
Implements:
public expanding
Imports:
public flatting
Extends:
Uses:
Remarks:
(none)
Inherited public predicates:

Public predicates

(no local declarations; see entity ancestors if any)

Protected predicates

(no local declarations; see entity ancestors if any)

Private predicates

(no local declarations; see entity ancestors if any)

Operators

(none)