edcg — Logtalk 3.100.1

object

# `edcg`

Multiple hidden parameters: an extension to Prolog’s DCG notation. Ported to Logtalk as a hook object.

Availability:
`logtalk_load(edcg(loader))`
Author: Peter Van Roy; adapted to Logtalk by Paulo Moura.
Version: 1:4:2
Date: 2020-04-08
Copyright: Copyright (C) 1992 Peter Van Roy
License: MIT
Compilation flags:
`static, context_switching_calls`
Implements:
`public` expanding
Provides:
logtalk::message_tokens//2
Uses:
list
logtalk
Remarks:

> - Usage: Compile source files with objects (or categories) defining EDCGs using the compiler option `hook(edcg)`.

Inherited public predicates:
goal_expansion/2 term_expansion/2

## Public predicates

(no local declarations; see entity ancestors if any)

## Protected predicates

(no local declarations; see entity ancestors if any)

## Private predicates

### `pred_info/3`

Declares predicates that have the listed hidden parameters.

Compilation flags:
`dynamic`
Template:
`pred_info(Name,Arity,HiddenParameters)`
Mode and number of proofs:
`pred_info(?atom,?integer,?list(atom))` - `zero_or_more`

### `acc_info/7`

Long form for declaring accumulators.

Compilation flags:
`dynamic`
Template:
`acc_info(Accumulator,Term,Left,Right,Joiner,LStart,RStart)`
Mode and number of proofs:
`acc_info(?atom,?term,?term,?term,?callable,?term,?term)` - `zero_or_more`

### `acc_info/5`

Short form for declaring accumulators.

Compilation flags:
`dynamic`
Template:
`acc_info(Accumulator,Term,Left,Right,Joiner)`
Mode and number of proofs:
`acc_info(?atom,?term,?term,?term,?callable)` - `zero_or_more`

### `pass_info/2`

Long form for declaring passed arguments. Passed arguments are conceptually the same as accumulators with `=/2` as the joiner function.

Compilation flags:
`dynamic`
Template:
`pass_info(Argument,PStart)`
Mode and number of proofs:
`pass_info(?atom,?term)` - `zero_or_more`

### `pass_info/1`

Short form for declaring passed arguments. Passed arguments are conceptually the same as accumulators with `=/2` as the joiner function.

Compilation flags:
`dynamic`
Template:
`pass_info(Argument)`
Mode and number of proofs:
`pass_info(?atom)` - `zero_or_more`

## Operators

### `op(1200,xfx,-->>)`

Scope:
`public`