lang/gprolog 1.5.0
Free Prolog compiler
- Repository
- FreeBSD ports
- Maintainer
- [email protected]
- License
- GPLv2
- Categories
- lang
Description
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.
Install
As a binary package — by origin, or by package name:
pkg install lang/gprolog
pkg install gprologFrom the ports tree:
cd /usr/ports/lang/gprolog/ && make install cleanTo depend on this port in another port's Makefile:
RUN_DEPENDS= gprolog>0:lang/gprologPackages
The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.
| Repository | aarch64 | amd64 | armv6 | armv7 | i386 |
|---|---|---|---|---|---|
| FreeBSD:14:latest | - | 1.5.0 | - | - | 1.5.0 |
| FreeBSD:14:quarterly | - | 1.5.0 | n/a | - | 1.5.0 |
| FreeBSD:15:latest | - | 1.5.0 | n/a | - | 1.5.0 |
| FreeBSD:15:quarterly | - | 1.5.0 | n/a | n/a | n/a |
| FreeBSD:16:latest | - | 1.5.0 | n/a | n/a | n/a |
| FreeBSD:16:quarterly | n/a | n/a | n/a | n/a | n/a |
Dependencies
As this port's Makefile names them.
Build 1
as: devel/binutils
The full lists below include those, and their dependencies in turn.
All build dependencies 6
No port depends on this one.
Configuration
Options name: lang_gprolog
| Option | Default | Description |
|---|---|---|
| DOCS | off | Build and/or install documentation |
| EXAMPLES | off | Build and/or install examples |
| FD | on | Enable finite domain constraint solver |
- USES
- gmake
- Service scripts
- none
Files
pkg-plist 189
- bin/fd2c
- bin/gplc
- bin/gprolog
- bin/hexgplc
- bin/ma2asm
- bin/pl2wam
- bin/wam2ma
- gprolog-%%GPROLOG_VER%%/COPYING
- gprolog-%%GPROLOG_VER%%/ChangeLog
- gprolog-%%GPROLOG_VER%%/NEWS
- gprolog-%%GPROLOG_VER%%/README
- gprolog-%%GPROLOG_VER%%/VERSION
- gprolog-%%GPROLOG_VER%%/bin/fd2c
- gprolog-%%GPROLOG_VER%%/bin/gplc
- gprolog-%%GPROLOG_VER%%/bin/gprolog
- gprolog-%%GPROLOG_VER%%/bin/hexgplc
- gprolog-%%GPROLOG_VER%%/bin/ma2asm
- gprolog-%%GPROLOG_VER%%/bin/pl2wam
- gprolog-%%GPROLOG_VER%%/bin/wam2ma
- gprolog-%%GPROLOG_VER%%/gprolog.ico
- gprolog-%%GPROLOG_VER%%/include/fd_to_c.h
- gprolog-%%GPROLOG_VER%%/include/gprolog.h
- gprolog-%%GPROLOG_VER%%/lib/all_fd_bips.o
- gprolog-%%GPROLOG_VER%%/lib/all_pl_bips.o
- gprolog-%%GPROLOG_VER%%/lib/debugger.o
- gprolog-%%GPROLOG_VER%%/lib/libbips_fd.a
- gprolog-%%GPROLOG_VER%%/lib/libbips_pl.a
- gprolog-%%GPROLOG_VER%%/lib/libengine_fd.a
- gprolog-%%GPROLOG_VER%%/lib/libengine_pl.a
- gprolog-%%GPROLOG_VER%%/lib/liblinedit.a
- gprolog-%%GPROLOG_VER%%/lib/top_level.o
- gprolog-%%GPROLOG_VER%%/lib/top_level_main.o
- share/doc/gprolog/compil-scheme.eps
- share/doc/gprolog/compil-scheme.pdf
- share/doc/gprolog/compil-scheme.png
- share/doc/gprolog/debug-box.eps
- share/doc/gprolog/debug-box.pdf
- share/doc/gprolog/debug-box.png
- share/doc/gprolog/gprolog.chm
- share/doc/gprolog/gprolog.dvi
- share/doc/gprolog/gprolog.html
- share/doc/gprolog/gprolog.pdf
- share/doc/gprolog/gprolog.ps
- share/doc/gprolog/html_node/contents_motif.svg
- share/doc/gprolog/html_node/gprolog-idx.html
- share/doc/gprolog/html_node/gprolog.css
- share/doc/gprolog/html_node/gprolog001.html
- share/doc/gprolog/html_node/gprolog002.html
- share/doc/gprolog/html_node/gprolog003.html
- share/doc/gprolog/html_node/gprolog004.html
- share/doc/gprolog/html_node/gprolog005.html
- share/doc/gprolog/html_node/gprolog006.html
- share/doc/gprolog/html_node/gprolog007.html
- share/doc/gprolog/html_node/gprolog008.html
- share/doc/gprolog/html_node/gprolog009.html
- share/doc/gprolog/html_node/gprolog010.html
- share/doc/gprolog/html_node/gprolog011.html
- share/doc/gprolog/html_node/gprolog012.html
- share/doc/gprolog/html_node/gprolog013.html
- share/doc/gprolog/html_node/gprolog014.html
- share/doc/gprolog/html_node/gprolog015.html
- share/doc/gprolog/html_node/gprolog016.html
- share/doc/gprolog/html_node/gprolog017.html
- share/doc/gprolog/html_node/gprolog018.html
- share/doc/gprolog/html_node/gprolog019.html
- share/doc/gprolog/html_node/gprolog020.html
- share/doc/gprolog/html_node/gprolog021.html
- share/doc/gprolog/html_node/gprolog022.html
- share/doc/gprolog/html_node/gprolog023.html
- share/doc/gprolog/html_node/gprolog024.html
- share/doc/gprolog/html_node/gprolog025.html
- share/doc/gprolog/html_node/gprolog026.html
- share/doc/gprolog/html_node/gprolog027.html
- share/doc/gprolog/html_node/gprolog028.html
- share/doc/gprolog/html_node/gprolog029.html
- share/doc/gprolog/html_node/gprolog030.html
- share/doc/gprolog/html_node/gprolog031.html
- share/doc/gprolog/html_node/gprolog032.html
- share/doc/gprolog/html_node/gprolog033.html
- share/doc/gprolog/html_node/gprolog034.html
- share/doc/gprolog/html_node/gprolog035.html
- share/doc/gprolog/html_node/gprolog036.html
- share/doc/gprolog/html_node/gprolog037.html
- share/doc/gprolog/html_node/gprolog038.html
- share/doc/gprolog/html_node/gprolog039.html
- share/doc/gprolog/html_node/gprolog040.html
- share/doc/gprolog/html_node/gprolog041.html
- share/doc/gprolog/html_node/gprolog042.html
- share/doc/gprolog/html_node/gprolog043.html
- share/doc/gprolog/html_node/gprolog044.html
- share/doc/gprolog/html_node/gprolog045.html
- share/doc/gprolog/html_node/gprolog046.html
- share/doc/gprolog/html_node/gprolog047.html
- share/doc/gprolog/html_node/gprolog048.html
- share/doc/gprolog/html_node/gprolog049.html
- share/doc/gprolog/html_node/gprolog050.html
- share/doc/gprolog/html_node/gprolog051.html
- share/doc/gprolog/html_node/gprolog052.html
- share/doc/gprolog/html_node/gprolog053.html
- share/doc/gprolog/html_node/gprolog054.html
The first 100 are listed.
distinfo 1
| File | Size | SHA256 |
|---|---|---|
| gprolog-1.5.0.tar.gz | 3.813899e+06 | 670642b43c0faa27ebd68961efb17ebe707688f91b6809566ddd606139512c01 |
Master sites 1
- http://www.gprolog.org/
Commit history 0
No commits in the history this site was built from.