Phrase support for DCGs

Author(s): Jose F. Morales, The Ciao Development Team.

This library extends the DCG package (dcg) with support for the phrase/2 and phrase/3 predicates.

Those predicates allow the translation and execution of arbitrary terms as DCGs goals at runtime. Those features, are not always desirable, since arbitrary code execution can negatively affect the precision of static analysis and increasing the size of static executables. This package offers a method to include runtime support for DCGs only when necessary.

Usage and interface

Library usage:
:- use_package(dcg/dcg_phrase). or :- module(...,...,[dcg/dcg_phrase]).
Implicit imports:
- Packages:
  prelude, initial, condcomp, assertions, assertions/assertions_basic.