object
edcg¶
Multiple hidden parameters: an extension to Prolog’s DCG notation. Ported to Logtalk as a hook object.
Author: Peter Van Roy; adapted to Logtalk by Paulo Moura.
Version: 1:4:0
Date: 2019-10-09
Copyright: Copyright (C) 1992 Peter Van Roy
License: MIT
Compilation flags:
static, context_switching_callsRemarks:
Usage: Compile source files with objects (or categories) defining EDCGs using the compiler option
hook(edcg).
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¶
pred_info/3¶
Declares predicates that have the listed hidden parameters.
Compilation flags:
dynamicTemplate:
pred_info(Name,Arity,HiddenParameters)Mode and number of proofs:
pred_info(?atom,?integer,?list(atom)) - zero_or_moreacc_info/7¶
Long form for declaring accumulators.
Compilation flags:
dynamicTemplate:
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_moreacc_info/5¶
Short form for declaring accumulators.
Compilation flags:
dynamicTemplate:
acc_info(Accumulator,Term,Left,Right,Joiner)Mode and number of proofs:
acc_info(?atom,?term,?term,?term,?callable) - zero_or_morepass_info/2¶
Long form for declaring passed arguments. Passed arguments are conceptually the same as accumulators with =/2 as the joiner function.
Compilation flags:
dynamicTemplate:
pass_info(Argument,PStart)Mode and number of proofs:
pass_info(?atom,?term) - zero_or_morepass_info/1¶
Short form for declaring passed arguments. Passed arguments are conceptually the same as accumulators with =/2 as the joiner function.
Compilation flags:
dynamicTemplate:
pass_info(Argument)Mode and number of proofs:
pass_info(?atom) - zero_or_moreOperators¶
op(1200,xfx,-->>)¶
Scope:
public