Chapter 12
ECL
i
PS
e
Macros
Introduction
Using the macros
Source Annotation-aware macro transformations
Definite Clause Grammars — DCGs
Simple DCG example
Mapping to Prolog Clauses
Parsing other Data Structures
1
type(goal) stands for suspensions.
2
Note that clause transformation is
not
performed with
assert/1
,
retract/1
and
clause/1
. This is a change from previous versions of ECL
i
PS
e
.
3
So that the user can redefine it with a local one.