The GNU Prolog web siteAugust 10, 2006 | Stephen | Uncategorized.The GNU Prolog web siteCompiler. Uses Warren Abstract Machine representation.