Next: Determinism Transformation Up: Loose Coupling of Previous: Calling LL Functions

Calling Relations from LL Functions

Since LL does not support backtracking, relations can only be accessed in the following two ways from LL functions:

  1. the relation returns only the first solution (once mode)
  2. the relation returns a list of all solutions (bagof mode)

The extensions of the LLAMA are similar to those needed for calling LL functions from relations.

Harold Boley & Michael Sintek (