Phrase Support for DCGs
Author(s): Jose F. Morales, The CLIP Group.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]). - Imports:
- Packages:
prelude, nonpure, condcomp, assertions.
- Packages:
