CTO
CLiki for the TUNES project
Home
Recent Changes
About CLiki
Text Formatting
Create New Page
Mercury
Mercury is a
logic
programming language
more
declarative
than
Prolog
.
--seaslug
The Mercury Project
This page is linked from:
Linear Logic
Linearity 101
PL 101
Prolog
Type System