Skip to content
◈ALB Atlas

Zoltan Somogyi Alive

Zoltan Somogyi
KindPerson
Born—
StatusAlive
Fieldprogramming languages
Sourcemercurylang.org ↗

Leads Mercury at Melbourne — logic programming with types, modes, and determinism enforced by the compiler.

Created Mercury

Led Mercury's design — the deterministic logic language — at Melbourne.\n\nThe 'logic programming can be efficient' proof; Prince XML is the production system.

Sources

  1. mercurylang.org/
  2. en.wikipedia.org/wiki/Mercury_(programming_language)