www.gprolog.org

     
This compiler accepts Prolog + constraint programs and produces native binaries. The obtained executable is subsequently stand-alone. The size of this executable can be quite small since GNU Prolog can avoid linking the code of most unused built-in predicates. The performance of GNU Prolog is very encouraging (comparable to commercial systems).
Alexa traffic report for WWW.GPROLOG.ORG

URLs from www.gprolog.org: