gprolog - Free Prolog compiler

Property Value
Distribution FreeBSD 10
Repository FreeBSD Ports Quarterly i386
Package name gprolog
Package version 1.4.4
Package release 7
Package architecture i386
Package type txz
Installed size 12.20 MB
Download size 2.86 MB
Official Mirror
GNU Prolog is a free Prolog compiler with constraint solving over finite
domains developed by Daniel Diaz.
GNU Prolog accepts Prolog+constraint programs and produces native binaries
(like gcc does from a C source). The obtained executable is then stand-alone.
The size of this executable can be quite small since GNU Prolog can avoid to
link the code of most unused built-in predicates. The performances of GNU
Prolog are very encouraging (comparable to commercial systems).
Beside the native-code compilation, GNU Prolog offers a classical interactive
interpreter (top-level) with a debugger.
The Prolog part conforms to the ISO standard for Prolog with many extensions
very useful in practice (global variables, OS interface, sockets,...).
GNU Prolog also includes an efficient constraint solver over Finite Domains
(FD). This opens contraint logic pogramming to the user combining the power
of constraint programming to the declarativity of logic programming.
Categories: lang
- DOCS: on
- FD: on
===>   NOTICE:
The gprolog port currently does not have a maintainer. As a result, it is
more likely to have unresolved issues, not be up-to-date, or even be removed in
the future. To volunteer to maintain this port, please create an issue at:
More information about port maintainership is available at:


Package Version Architecture Repository
gprolog-1.4.4_7.txz 1.4.4 amd64 FreeBSD Ports Quarterly
gprolog-1.4.4_7.txz 1.4.4 amd64 FreeBSD Ports Latest
gprolog-1.4.4_7.txz 1.4.4 i386 FreeBSD Ports Latest
gprolog - - -


Name Value
gcc7 = 7.3.0_5


Type URL
Binary Package gprolog-1.4.4_7.txz
Source Package lang/gprolog

Install Howto

Install gprolog txz package:

# pkg install gprolog

See Also

Package Description
gpsbabel-1.5.4.txz GPS file translating tool
gpsbabel14-1.4.4_1.txz GPS file translating tool (pre-qt version)
gpscorrelate-1.6.1_5.txz Correlate digital camera photos with GPS data in GPX format
gpsd-3.17.txz Daemon that monitors one or more GPSes attached to a host computer
gpsdrive-2.09_16.txz GPS navigation system
gpsman- Tcl/Tk-based GPS management utility
gpsmanshp-1.2.3_1.txz Shapelib support for gpsman
gpsprune-19.1.txz Application for viewing, editing, and converting GPS coordinate data
gpstk-2.10.txz Toolkit for developing GPS applications
gpte-1.0.txz Simple command-line GPT partition editor
gputils- Utilities for Microchip PIC microcontrollers
gputty-0.9.10.txz Frontend to the SSH client, using the Gtk+ toolkit
gpx2map-0.2_1.txz Put GPX track on Google Map or OpenStreetMap
gpxloggerd-0.2.3.txz Daemon that connects to the GPSD daemon and logs GPS traces
gpxsee-6.0.txz GPS log file viewer and analyzer