Keywords: GNU Prolog, Prolog, compiler, constraints, finite domains
Gprolog.org has 1 URLs listed in 1 Dmoz categories.
GNU Prolog 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 predi http://www.gprolog.org Top/Computers/Programming/Languages/Prolog/Implementations
