gprolog: gprolog (produces native binaries from Prolog+constraint programs)
gprolog:
gprolog: GNU Prolog accepts Prolog+constraint programs and produces native
gprolog: binaries (like gcc does from a C source). The obtained executable
gprolog: is then stand-alone. The size of this executable can be quite small
gprolog: since GNU Prolog can avoid to link the code of most unused built-in
gprolog: predicates. Beside the native-code compilation, GNU Prolog offers
gprolog: a classical interactive interpreter (top-level) with a debugger.
gprolog: The Prolog part conforms to the ISO standard for Prolog with many
gprolog: extensions very useful in practice (global variables, OS interface,
gprolog: sockets,...).