Dan
Jonsson's
Pancode
Home
Page
presents
a
different
approach
to
control-flow
in
procedural
programming
languages
[Orig
paper
ACM
SIGPLAN
Notices,
Vol
24,
No.
3,
p.
65
(March
1989)]
Mercury
is
a
new
logic/functional
programming
language,
which
combines
the
clarity
and
expressiveness
of
declarative
programming
with
advanced
static
analysis
and
error
detection
features.
Its
highly
optimized
execution
algorithm
delivers
efficiency
far
in
excess
of
existing
logic
programming
systems,
and
close
to
conventional
programming
systems.
Mercury
addresses
the
problems
of
large-scale
program
development,
allowing
modularity,
separate
compilation,
and
numerous
optimization/time
trade-offs.