The GNU Prolog web site

Compiler. Uses Warren Abstract Machine representation.