blob: 74f7385e9c7424eb06a4c7c7dd404f84bc174159 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
# HOW TO EDIT THIS FILE:
# The "handy ruler" below makes it easier to edit a package description. Line
# up the first '|' above the ':' following the base package name, and the '|' on
# the right side marks the last column you can put a character in. You must make
# exactly 11 lines for the formatting to be correct. It's also customary to
# leave one space after the ':'.
|-----handy-ruler------------------------------------------------------|
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,...).
|
